トランザクションが，データベースに対する更新処理を完全に行うか，全く処理しなかったかのように取り消すか，のいずれかを保証する特性はどれか。