Christos H. PapadimitriouによるMVSRとVSRの定式化に用いられた概念． Weikum本にも出てくる． かなり難しい．実際はエルブランセマンティクス(Herbrand Semantics)とReads-FromでVSRを，Multiversion Serialization Graph(MVSG)でMVSRを定式化できるので，覚えなくてもいい．