Um SGBD para manter a integridade dos dados deve apresentar algumas propriedades para as transações. A propriedade que define "ou todas as operações da transação são refletidas corretamente no banco de dados ou nenhuma deve ser refletida" é: