
Transactions and Serializability
ACID and what enforces each property; the transaction state diagram; schedules, serial schedules and how many interleavings exist; conflicting operations; the precedence-graph test with diagrams of a cyclic and an acyclic graph and the serial orders of the second; view equivalence and blind writes; the counts of conflict-serializable interleavings for small transaction pairs; and three checked past GATE questions, all computed by script.


