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