Database Concurrency Control Papadimitriou 読会(32回)に参加 p86からp90まで読んだ。 次回はp90「Definition 3.4~」から The Complexity of Reliability(続き) is reliable if and only if F is true のonly if direction reliable → F is true 対偶(F is…