A propriedade de um SGBD que deve garantir que o banco de dados permaneça inalterado, se ocorrer algum erro numa instrução individual, denomina-se