Safe Commits and Rollbacks

A compact transaction-safety book for readers who need the exact gap between schedules and recovery: who a read depended on, why a reader should commit after its writer, how one rollback can ripple, how dirty reads are avoided, and how recomputed safety checks stay honest.