Em um sistema gerenciador de banco de dados, uma transação é uma unidade de execução de programa que acessa e, possivelmente, atualiza vários itens de dados. Uma transação, geralmente, é o resultado da execução de um programa de usuário escrito em uma linguagem de manipulação de dados de alto nível ou em uma linguagem de programação (por exemplo, C ou Cobol), e é delimitada por declarações (ou chamadas de função) da forma begin transaction e end transaction. Para assegurar a integridade dos dados, exige-se que o sistema de banco de dados mantenha a propriedade de que todas as operações da transação sejam refletidas corretamente no banco de dados ou nenhuma o será. Esta propriedade é conhecida por: