Durante uma transferência bancária, são executados dois comandos: um UPDATE para debitar o valor da conta de origem e outro UPDATE para creditar o valor na conta de destino. Um apagão no data center ocorre exatamente após a conclusão do primeiro comando e antes do início do segundo. Qual propriedade das transações, gerenciada pelo SGBD, garante que a situação de inconsistência não persista após o sistema ser restaurado?