データベースのトランザクションが持つべき特性（ACID特性）のうち、トランザクションの実行によってデータベースが矛盾のない状態（整合性の取れた状態）に保たれることを保証する特性はどれか。