3.4 この節での我々のゴールはscheduleの正しさの判断(correctness criteria)を考案することである。 すべてのschedule, Sに対して、そうした判断σを以下のように考える。 このとき0, 1はfalse, trueをそれぞれ意味している。 従って、正しいスケジュール(co…

3.3 Syntax of Histories and Schedules この節ではschedulerがオンラインで正しいスケジューリングをどう判断するかを議論するにあたって、スケジュールの記法を明確にする。 P65下から9行目, Here we try to respect ... のrespectが訳せない。 まず、トラ…

細かくまとめていかないとまずい 3.1 Goal and Overview この章ではトランザクションのページモデルにおいて並行処理のcorrectnessについて議論する。 This study will reveal a variety of aspects: techniques for proving concurrency control algorithms…