correctness
トランザクション用語.
トランザクションのACID特性のうち最も重要な特性はC: Consistency であり，アプリの制約条件を満たすことである．
この観点でAtomicityやIsolationはCを実現しながら並列実行を行うための道具である．
で，特にIsolationの議論において，どのような並列実行がConsistentであるか，ということを考える時にcorrectnessという概念を使う.