Module 4: Transactions

This PSET covers Module 4: conflict serializability, conflict graphs, Strict Two-Phase Locking (S2PL), Write-Ahead Logging (WAL), and crash recovery. Before starting, you should have read the Module 4 content, attended the lectures, and completed the Transactions Colab walkthrough in your CA section.

Tip: Click any conflict graph or WAL table image to enlarge it. The update function for all WAL scenarios is f(x) = x × 1.2.