As transações em um banco de dados devem possuir várias...

uma transação deve tornar suas atualizações visíveis para outras antes da operação COMMIT ser executada.

uma vez completado o COMMIT da transação, suas atualizações sobrevivem no banco de dados mesmo que haja uma queda do sistema.

qualquer transação transforma o estado correto do banco de dados em outro estado correto, preservando a correção em todos os pontos intermediários.

a propriedade de correção define que qualquer transação é uma proposição do tipo tudo ou nada.

o isolamento das transações é uma propriedade que deixa visíveis as atualizações a outras transações antes da operação COMMIT.