ACID
トランザクションに含まれるタスクが、実行されるか実行されないかの二択のみであることを保証する性質。
トランザクション開始と終了時にあらかじめ与えられた整合性を満たすことを保証する性質。
論理的な整合性や、テーブルの制約を満たさないようなトランザクションは実行が中止される。
トランザクション中に行われる操作の過程が他の操作から隠蔽されること。
A -> A' -> B
実際には内部状態A'を取るが、外からは A -> Bのように見える。
トランザクション操作の完了通知をユーザが受けた時点で、その操作は永続的となり、結果が失われないこと。