Em um Sistema Gerenciador de Banco de Dados (SGBD), a propriedade que garante que uma transação, uma vez confirmada (commit), terá seus resultados permanentemente gravados no banco de dados, mesmo em caso de falha do sistema, é conhecida como: