Serializablitiyとは？ 2. View Serializabilityについて - Qiita

前回のまとめ FSRという基準を導入したが実用性がイマイチなので別の基準を考える。 View Equivalency さて、最後の状態が一致するかどうかでスケジュールの等価性をテストすると不都合が起きてしまうので、それにさらに制約を加えて行く。2つのスケジュール図の最後の状態の一致のみを見てはダメなので、2つのスケジュール図のトランザクションのすべてのステップでのエルブランセマンティクスが一致した場合に満たされるのがView Equivalency（ビュー等価）である。 もちろん最後の状態も「すべてのステップ」のうちの1つなのでView Equivalencyを満たす場合Final State Equivalencyも確実に満たす。また、トランザクションを直列に逐次実行したスケジュールとView Equivalencyが満たされる場合、そのトランザクションは View Serializab

[ono_matope]

実行スケジュールをエルブランセマンティクスに展開すると、実行スケジュール同士を等価かどうか評価できて、最終状態が等価だとFSR、すべての途中経過も同じだとVSRと呼ぶことができると。