Transactions


Series of modifications to state
             BEGIN
             actions
             END

Has the following properties:
A. atomic -- either completes entirely of completely undone
C. consistent -- results as if all transactions were serialized
D. durable -- once complete, crash won't erase effects