同一データベースに対する同一処理は，何度実行しても結果は同じである。

トランザクション完了後にハードウェア障害が発生しても，更新されたデータベースの内容は保証される。

トランザクション内の処理は，全てが実行されるか，全てが取り消されるかのいずれかである。

一つのトランザクションの処理結果は，他のトランザクション処理の影響を受けない。