A figura abaixo mostra quatro categorias de transações. A linha superior refere-se ao tempo que flui da esquerda para a direita. O tempo t1 marca um ponto de verificação (checkpoint), e no tempo t2 ocorre uma falha no sistema.

Quando o sistema for reinicializado, as transações do(s) tipo(s)