Em um sistema de banco de dados relacional, no qual as instruções são de níve...

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?