MVCC, Dead Tuples, and VACUUM in PostgreSQL

Everything in this module (isolation levels, non-blocking reads, snapshots) rests on one mechanism: multi-version concurrency control.