Simple and Correct Snapshot Isolation
Summary
The article surveys snapshot isolation (SI) and its well-known failure to guarantee serializability. It explains the SSI and the proposed Write-Snapshot Isolation (WSI) as root-cause fixes, discusses their soundness and completeness, and examines why WSI is not yet widely adopted, offering guidance for those designing or evaluating DB systems.