- - - - CENAPAD-MGCO

A seguir: Aciclicidade da relação de Acima: Travamentos Anterior: Transações duas-fases

Teorema das transações duas-fases

Se toda transação em um sistema é bem formada e duas-fases, então qualquer escalonamento legal S é consistente

Prova em duas partes:

1.

mostrar que a relação de dependência é sempre acíclica

2.

construir um escalonamento serial equivalente