CSR
一般に1VCCで用いられる等価性(Equivalence)．
現在のMVCC実装の多くもこれを採用している．
実装の簡易さと検証の軽量さが魅力...だが実装レベルの最適化では性能が行き詰まるワークロードもある．
Bernstein 83にわかりやすい定式化が書いてある．