MVSR
Multiversion View Serializabilityの略．
Serializabilityの一種．
CC本では1 Copy Serializabilityと言われているものと同じ．
定義としては，「あるヒストリが，View EquivalentなSerial Monoversion Historyを持つとき，そのヒストリはMVSRである」．
このSerial Monoversion Historyの探索問題はVSRと同じくNP完全である(FYI: MVSRのプロトコルはなぜNP完全なのか)
ただし，ある任意のSerial Monoversion HistoryとのView Equivalenceの検証は多項式時間帰着可能である．
さらに，アルゴリズムに制約をつけていけば，「ある任意の」と述べたSerial Monoversion Historyのパターンをどんどん限定していける．(FYI: CSR, MCSR)
つまり，計算量と偽陽性のトレードオフ問題が生まれる．これがConcurrency Controlの領域．
MVSRそのものをプロトコルに使うことは，通常行われないが，以下の道具立てが用意してある．
Multiversion Serialization Graph(MVSG)
MV(H,<<)
VersionOrder