p38「proof」から p39「Proof of the Lemma」まで読んだ。次回はp40 4行目「Suppose that ...」から これまでの勉強会で一番面白かったです。 毎度適当なメモなんで読むのに適さないですです。 Theory of Database Concurrency Control作者: Christos Papadi…