Passing the ACID Test
Concurrency Control
- Guarantees Consistency and Isolation, given Atomicity.
Logging and Recovery
- Guarantees Atomicity and Durability.
Some Issues:
- How does one undo the effects of an xact (abort)?
- What if another Xact sees these effects??
- Must undo that Xact as well! (Cascading aborts)
- What if a crash loses buffered memory?