Em um sistema de banco de dados relacional, no qual as instruções são de nível de conjuntos e, em geral, operam sobre muitas tuplas ao mesmo tempo; não deve ser possível que determinada instrução falhe durante o processo e deixe o banco de dados em um estado incorreto (por exemplo, com algumas tuplas atualizadas e outras não). Nesse sentido, qual é a propriedade das transações de banco de dados que garante que, se um erro ocorrer no meio desse tipo de instrução, o banco de dados deve permanecer totalmente inalterado?