A Typical Transaction
User view: “Transfer money from savings to checking”
Program: Read savings; verify balance is adequate *, update savings balance and rewrite **; read checking; update checking balance and rewrite***.
*DB still consistent
**DB inconsistent
***DB consistent again