（４）An Alternative Correctness Criterion: Interleaving Specifications 単純にトランザクション単位でserialとするのではなく、もう「トランザクションの部分単位」でserialにすることを考える。 この緩和を取り入れることで並行性を向上できる。 ①Indi…

②Serializableのクラス 前述の概要で示される各serializableのクラスを整理。 なお、ここではabortは考慮しない。 ※P74 「In our exposition of this chapter, we avoid problems that may result from taking aborted (or aborting) transactions into acco…

（３） Correctness of Histories and Schedules ①全体観 ※P109の図ではS3とS5が逆になっている。いまのところ誤植と理解。真相知りたい。 分類 サンプル 補足 1 w1(x)w2(x)w2(y)c2w1(y)c1 xとyの更新結果がt1→t2,t2→t1のどちらにも合致しない。 2 FSR w1(x)…

■第三章 １．章構成 3.1 Goal and Overview 3.2 Canonical Concurrency Problems 3.3 Syntax of Histories and Schedules 3.4 Correctness of Histories and Schedules 3.5 Herbrand Semantics of Schedules 3.6 Final State Serializability 3.7 View Seria…