A unit of program execution that
accesses and possibly updates various
data items.
– A transaction is delimited by statements
(or function calls) of the form begin
transaction and end transaction.
– The transaction consists of all operations
executed between the begin transaction
and end transaction.