Em um banco de dados, chama-se de transação o conjunto de procedimentos que, aos olhos do usuário, são vistos como uma única ação. A integridade de uma transação depende de algumas propriedades que devem ser observadas. A propriedade que preconiza a execução correta de todas as ações para a efetivação da transação, com respectivo cancelamento de todas elas no caso de falha em uma ação, chama-se