細かくまとめていかないとまずい

3.1 Goal and Overview

この章ではトランザクションのページモデルにおいて並行処理のcorrectnessについて議論する。

This study will reveal a variety of aspects:

techniques for proving concurrency control algorithms
syntactic versus semantic notions of correctness
NP completeness results
hierarchies of classes of correct histories

最初に、historiesとschedulesによって複数のトランザクションによる並行処理のモデルを構築する次に正常に終了しない(abortする)トランザクションについて考える必要があるが、これらは非常に複雑なものになるので、簡単なモデルを例に考える。(この後の章でabortとabortからの復帰について扱う)