O sistema de gestão penitenciária de determinado estado registra automaticamente a transferência de um reeducando de uma unidade prisional para outra. Essa operação envolve simultaneamente a baixa do reeducando na unidade de origem e sua inclusão na unidade de destino. Durante uma queda de energia, o sistema foi interrompido no meio da operação, gerando o risco de que o reeducando constasse como baixado na unidade de origem sem ter sido incluído na unidade de destino. Para evitar esse tipo de inconsistência, o banco de dados foi configurado para garantir que essa operação seja executada por completo ou revertida integralmente, como se nunca tivesse sido iniciada. A propriedade ACID que assegura esse comportamento é: