1.2. トランザクションのプロパティー

適切に設計されたトランザクションの一般的な標準は ACDI (アトミック性、一貫性、独立性、および永続性: atomic, consistent, isolated, and durable) です。

アトミック性
トランザクションのすべてのメンバーは、トランザクションのコミットまたはロールバックに関して同じ決定を行う必要があります。
一貫性
トランザクションは一貫した結果を生成し、アプリケーション固有のインバリアントを保持します。
独立性
トランザクションスコープ外のプロセスによるデータの変更を防ぐため、変更前に操作するデータをロックする必要があります。
永続性
致命的な障害が発生した場合を除き、コミットされたトランザクションの影響は失われません。