---
# System prepended metadata

title: Transactional Information Systems 読書ノート

---

Transactional Information Systems 読書ノート
===




はじめに
---

- [はじめに](/CHNVtEqFRyia9zqz310n9w)

第1部 導入
---

- [1章 イントロ、及びハードウェアのさらっとした説明](/9EbzCQMpShyTvHjrmTEBEg)
- [2章 ページモデル/オブジェクトモデルの定義](/VgxvykwHSTeAmug4rV-HNw)

第2部 同時実行制御
---

- 3章 Serializability の定式化
    - [3章-1 スケジュールの構文論/意味論的定義](/gX6cYQtnQuCPWgSDAgT5Sw)
    - [3章-2 基礎的なSerializability](/ZJZqUsTVQH6aSUV5GvHtlQ)
    - [3章-3 中断を考慮した/分離性を柔軟にしたSerializability](/-rYtcHUkRSmjZ-uClCNkuw)
- 4章 Concurrency Control アルゴリズム
    - [4章-1 Concurrency Control アルゴリズム](/Gxz1byDJSaiL3UuhGt4Vtw)
    - [4章-2 ロックスケジューラ](/bASQ7zDETWObl-LyK5bUuQ)
    - [4章-3 ロックを用いないスケジューラ](/5yyJyTNnQi-z7GdAcATBzg)
    - [4章-4 ハイブリッドスケジューラ](/JXVEqjvSRlqIc9zmhHWP0A)
    - 4.3 4.10　怪しい: 4.18
- 5章 Multiversion Concurrency Control
    - [5章-1 Multiversion Serializability](/MsKUab9GQKyp0s6hBePJFQ)
    - [5章-2 Multiversion CC](/Xyyfbhr5S_C8qjX8Jas-tA)
    - no blind writeでMVSR=MCSR, actionでVSR=MVSRが怪しい
- [6章 オブジェクトモデルにおけるSerializability](/Hh8CjFEfRCmoB97LpkZc1A)
- [7章 オブジェクトモデルにおけるConcurrency Control](/QTQf4ryjTMqOrSJafCyjUQ)
- [8章 リレーショナルデータベースにおけるConcurrency Control](/aeTOJ0wAQqGpWmlBA92jJA)
- [9章 インデックスにおけるConcurrency Control](/NwWbbGaWQGCH1ytZ10-Xog)
- [10章 実装にともなう諸問題](/Z5FDkfciR5iGn0jtNlzR1w)

第3部 復元
---

- 11章 トランザクションの復元
    - [11章-1 ページモデルにおける復元可能性の定式化](/Kr9skGwZTh6KV601pt_hXQ)
    - [11章-2 復元可能なページモデルスケジューラ](/9xmvtnV1QS6rhBRpKed84Q)
    - [11章-3 オブジェクトモデルにおける復元可能性](/p03UH3C5Sq-_8_nqS1GQcg)
- [12章 障害回復のための正当性](/EG4R4TK8TqWhw7SItjhbiQ)
- 13章 ページモデルにおける障害回復アルゴリズム
    - [13章-1 基本的なデータ構造](/GA7qky2LTbqMXzXc0BDq6w)
    - [13章-2 redo-winnersアルゴリズム](/1GSJrGulQVGWKgF7tOCOQw)
    - [13章-3 ログ切り捨て・チェックポイント・Redo最適化](/2Cra0YhZRjaHWDLMwTEurg)
    - [13章-4 redo-historyアルゴリズム](/_7LyKcC8R5S5MIZJUpnEFA)
- [14章 オブジェクトモデルにおける障害回復アルゴリズム](/FIHikdOlSvKu2RgfOZSjUw)
- [15章 障害回復における諸問題](/ZWGes-ReTxCU8UXLsMYqgQ)
- [16章 メディアの回復](/twPp6vYMQuOjVKuVWW0OgA)
- 17章 アプリケーションの回復
    - [17章-1 ステートレスなアプリケーションの回復](/pucEH48nQYGChJtzCtm_dQ)
    - [17章-2 準ステートフルなアプリケーションの回復](/AnnFBF3TR8WXg5ayQFDHAA)
    - [17章-3 ステートフルなアプリケーションの回復](/izsjhD--TrGMpYPkolcPZg)

第4部 分散トランザクションの制御
---

- 18章 分散トランザクションの同時実行制御
    - [18章-1 ホモジニアスなトランザクション](/rQkykZlXSC6usXUQfZBmnA)
    - [18章-2 ヘテロジニアスなトランザクション](/UaHzLmXzRu2SjN3T0cjq6g)
    - [18章-3 オブジェクトモデル/データ共有クラスタ](/Gt7g3mTaQuGbUuqKcc9lug)
- 19章 分散トランザクションの回復
    - [19章-1 2相コミットプロトコル](/1A6egy66Q12DyxItzgqfNg)
    - [19章-2 2相コミットの最適化](/BcggMcusQyuqjn1BfxhLUA)


第5部 応用と展望
---

- [20章 トランザクション制御の展望](/1WYLGQtnTaKXtmVpS5YK1w)
