Insieme di operazioni da considerare indivisibile (”atomico”), corretto anche in presenza di concorrenza e con effetti definitivi
Proprietà (”acide”):
La sequenza di operazioni sulla base di dati viene eseguita per intero o per niente
Al termine dell’esecuzione di una transazione, i vincoli di integrità devono essere soddisfatti
“Durante” l’esecuzione ci possono essere violazioni, ma se restano alla fine allora la transazione deve essere annullata per intero (”abortita”)
L’effetto di transazioni concorrenti deve esser coerente (ad esempio “equivalente” all’esecuzione separata)
La conclusione positiva di una transazione corrisponde ad un impegno (commit) a mantenere traccia del risultato in modo definitivo, anche in presenza di guasti e di esecuzione concorrente
begin transaction
: specifica l’inizio della transazione (le operazioni non vengono eseguite sulla base di dati)commit work
: le operazioni specificate a partire dal begin transaction
vengono eseguiterollback work
: si rinuncia all’esecuzione delle operazioni specificate dopo l’ultimo begin transaction