"Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery (The Morgan Kaufmann Series in Data Management Systems)" is a nice book to learning transaction theory.This book contain many definitions. So,I made list of that.
DEFINITION | page |
---|---|
2.1 Partial Order | 46 |
2.2 Page Model Transaction | 46 |
2.3 Object Model Transaction | 51 |
3.1 Schedules and Histories | 66 |
3.2 Serial History | 67 |
3.3 Herbrand Semantics of Steps | 74 |
3.4 Herbrand Universe | 75 |
3.5 Schedule Semantics | 76 |
3.6 Final State Equivalence | 77 |
3.7 Reads-From Relation | 78 |
3.8 Final State Serializability | 82 |
3.9 View Equivalence | 83 |
3.10 View Serializability | 85 |
3.11 Monotone Classes of Histories | 92 |
3.12 Conflicts and Conflict Relations | 93 |
3.13 Conflict Equivalence | 93 |
3.14 Conflict Serializability | 94 |
3.15 Conflict Graph (Serialization Graph) | 96 |
3.16 Commutativity Based Equivalence | 99 |
3.17 Commutativity Based Reducibility | 100 |
3.18 Order Preservation | 102 |
3.19 Commit Order Preservation | 102 |
3.20 Closure Properties of Schedule Properties | 106 |
3.21 Commit Serializability | 107 |
3.22 Indivisible Units | 111 |
3.23 Dependence of Steps | 113 |
3.24 Relatively Serial Schedule | 113 |
3.25 Relative Serializability | 114 |
3.26 Push Forward and Pull Backward | 116 |
3.27 Relative Serialization Graph | 116 |
4.1 CSR Safety | 130 |
4.2 Two-Phase Locking (2PL) | 134 |
4.3 Conservative 2PL | 142 |
4.4 Strict 2PL | 143 |
4.5 Strong 2PL | 144 |
5.1 Version Function | 187 |
5.2 Multiversion Schedule | 188 |
5.3 Monoversion Schedule | 189 |
5.4 Reads-From Relation | 190 |
5.5 View Equivalence | 191 |
5.6 Multiversion View Serializability | 192 |
5.7 Version Order | 194 |
5.8 Multiversion Serialization Graph (MVSG) | 195 |
5.9 Multiversion Conflict | 197 |
5.10 Multiversion Reducibility | 198 |
5.11 Multiversion Conflict Serializability | 199 |
5.12 Multiversion Conflict Graph | 199 |
6.1 Object Model History | 218 |
6.2 Tree-Consistent Node Ordering | 219 |
6.3 Object Model Schedule | 219 |
6.4 Serial Object Model Schedule | 221 |
6.5 Isolated Subtree | 221 |
6.6 Layered History and Schedule | 222 |
6.7 Flat Object Schedule | 223 |
6.8 Commutative Operations | 224 |
6.9 Commutativity Based Reducibility | 226 |
6.10 Conflict Equivalence and Conflict Serializability | 227 |
6.11 Tree-Reducible History | 229 |
6.12 Level-to-Level Schedule | 234 |
6.13 Conflict Faithfulness | 238 |
6.14 State-Dependent Commutativity | 241 |
6.15 Return Value Commutativity | 242 |
8.1 IDM Transaction | 286 |
8.2 Transaction Equivalence | 287 |
8.3 Final State Serializability | 289 |
8.4 Conflict Serializability | 291 |
8.5 Conflict Graph | 291 |
8.6 Extended Conflict Graph and Serializability | 293 |
8.7 State Serializability | 296 |
8.8 Transaction Chopping | 302 |
8.9 Chopping Graph | 302 |
8.10 Correct Chopping | 304 |
10.1 Isolation Levels | 361 |
10.2 Multiversion Read Committed and Snapshot Isolation Levels | 362 |
10.3 Formal Definition of Snapshot Isolation | 363 |
10.4 Snapshot Isolation Serialization Graph | 363 |
11.1 Expansion of a Schedule | 384 |
11.2 Expanded Conflict Serializability | 385 |
11.3 Reducibility | 387 |
11.4 Prefix Reducibility | 389 |
11.5 Recoverability | 391 |
11.6 Avoiding Cascading Aborts | 392 |
11.7 Strictness | 393 |
11.8 Rigorousness | 394 |
11.9 Log Recoverability | 398 |
11.10 Inverse Operation | 408 |
11.11 Perfect Commutativity | 411 |
11.12 Perfect Closure | 413 |
11.13 Normal Commutativity Table | 414 |
11.14 Strictness | 415 |
11.15 Terminated Subtransactions | 416 |
11.16 Expanded Object Model Schedule | 417 |
11.17 Extended Tree Reducibility | 418 |
12.1 Extended History | 434 |
12.2 Stable Log | 435 |
12.3 Log Buffer | 435 |
12.4 Cached Database | 436 |
12.5 Stable Database | 437 |
12.6 Correct Crash Recovery | 437 |
12.7 Logging Rules: Redo Rule, Undo Rule, Garbage Collection Rule | 438 |
18.1 Global History | 677 |
18.2 Conflict Serializability | 678 |
18.3 Global History | 692 |
18.4 Direct and Indirect Conflict | 694 |
18.5 Global Conflict Graph | 695 |
18.6 Commit-Deferred Transaction | 699 |
18.7 Extended Commitment Ordering | 701 |
https://www.amazon.com/dp/1558605088
https://www.elsevier.com/books/transactional-information-systems/weikum/978-1-55860-508-4
This article is translated from my blog post(original is japanese).
http://yuyubu.hatenablog.com/entry/2019/02/05/weikum%E6%9C%AC%E3%81%AB%E8%A8%98%E8%BC%89%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%E5%85%A8%E5%AE%9A%E7%BE%A9%E3%81%AE%E4%B8%80%E8%A6%A7%E3%83%AA%E3%82%B9%E3%83%88
Top comments (0)