Normal Execution of a Xact
Series of reads & writes, followed by commit or abort.
- We will assume that write is atomic on disk.
- In practice, additional details to deal with non-atomic writes.
STEAL, NO-FORCE buffer management, with Write-Ahead Logging.