Para garantir as propriedades ACID em transação de um banco de dados, Marcos verificou dois aspectos:

I. a transação deve ter todas as suas operações executadas em caso de sucesso ou, em caso de falha, nenhum resultado de alguma operação deve ser refletido sobre a base de dados;

II. a execução de uma transação deve levar o banco de dados de um estado consistente a um outro estado consistente, ou seja, uma transação deve respeitar as regras de integridade dos dados como unicidade de chaves, restrições de integridade lógica etc.

As propriedades ACID descritas nos itens I e II são, respectivamente,