Pela regra WAL, os registros de log com os valores “antes” (before-state) podem ser gravados após a escrita das páginas de dados.

rollback de uma transação deve forçar o rollback de outras transações concorrentes para prevenir inconsistências.

Se uma restrição adiada (deferred) for violada no COMMIT, o SGBD conclui o commit e corrige o dado depois.

A regra de precedência do commit (forma simplificada) exige gravar o log antes do COMMIT.

Atomicidade permite preservar parte dos efeitos de uma transação mesmo que alguma operação falhe.