データベースのトランザクションが持つべき特性（ACID特性）のうち、複数のトランザクションを同時に実行しても、あたかも各トランザクションが個別に（直列に）実行されたかのような結果を保証する特性はどれか。