このポストは、papa本で証明されている「スケジュールsが与えられとき、それがview serializableであることのテストはNP完全である」の証明の一部を構成する、3-CNF SAT問題からpolygraphのacyclicity判定問題への帰着についてのメモです。 papa本は以下の本…

このポストは、papa本読書会第1回目で読んだ範囲における、トランザクションの単位とトランザクション間のhidden restrictionsについてのまとめです。 議論としては2回目の内容も含んでいます。話題としては2回目の内容を含んでいます。ポストの内容は個人的…

このポストはpapa本読書会第1回目で読んだ部分のうちのconsistent stateについてのメモです。p.8くらいまでの範囲です。 このポストではpapa本は以下の本のことです。 Theory of Database Concurrency Control作者:Papadimitriou, ChristosComputer Science …