Atomicidade: uma transação deve ser tratada como
uma única unidade, que é executada completamente
ou não é executada de todo.
Consistência: o banco de dados deve permanecer em
um estado consistente após a transação.
Isolamento: as transações simultâneas são isoladas
umas das outras.
Durabilidade: os efeitos de uma transação executada
com sucesso são permanentes e persistem mesmo
em caso de falha do sistema.