Supondo que entradas (checkpoint) sejam incluídas no log, um algoritmo de recuperação possível para esse caso funciona da seguinte maneira:

1-
Use duas listas de transações mantidas pelo sistema: as transações confirmadas desde o último checkpoint (lista de confirmação) e as transações ativas (lista ativa). 		2-
Refaça (REDO) todas as operações write_item das transações confirmadas com base no log, na ordem em que foram gravadas nele. 		3-
As transações que estão ativas e não confirmaram são efetivamente canceladas e devem ser submetidas novamente.

O procedimento REDO é definido da seguinte maneira:

Refazer uma operação write_item consiste em examinar sua entrada de log <write_item, T, X, valor_novo> e definir o valor do item X no banco de dados para valor_novo, que é a imagem depois (AFIM).
Copyright © 2016 AIEC.