Yabu.log
id:yuyubu
Transactionのinterpretation(herbrand semantics)について
herbrand semanticsのメモです。主にFSRを理解するための準備です。このエントリはChristos Papadimitrioupapa:Theory of Database Concurrency Control(通称papa本)の5~9ページのまとめです。 transactionとreadとwrite interpretation 同じentityへの各database stepは1回まで Interpretationとshcedule まとめ データベ…