39. クラス CSR
シリアルスケジュールと conflict equivalent なスケジュール
s CSR iff G(s) is acyclic∈
G(s) は conflict graph
39
_人人人人人人人人人人人人人人人人_
> s CSR iff G(s) is acyclic∈ <
 ̄ Y Y Y Y Y Y Y Y Y Y Y Y Y Y Y^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^  ̄
47. 本の構成
Part One: Background
Part Two: Concurrency Control
ここまでは Abort(Rollback) や障害を取り扱わない
Part Three: Recovery
Part Four: Distributed Transactions
Part Five: Applications and Future Perspectives
47
48. Part Two: Concurrency Control
Object model での concurrency control
よりリッチな操作、制御を可能にするモデル
ページ単位ではなく、操作 (method) 単位での制御が可能に
Multiversion Concurrency Control(MVCC)
本 : Concurrency Control and Recovery in Database Systems
Concurrency Control on Relational Databases
Isolation レベルを理論的に見てみる
Snapshot isolation の話も少し
B+ 木とロックの話、 TM の実装の話、 etc
48