Considerando as propriedades ACID de uma transação que contém diversas operações de atualização de dados em uma ou mais tabelas em um banco de dados relacional, o mecanismo automático do SGBD responsável por garantir que as modificações parciais sejam completamente descartadas e revertidas em caso de alguma falha antes de completar a respectiva transação baseia-se em qual propriedade?