- - - - CENAPAD-MGCO

A seguir: Teorema das transações duas-fases Acima: Travamentos Anterior: Exemplos de escalonamentos

Transações duas-fases

Na primeira fase ( expansão ) são permitidos locks

Na segunda fase ( contração ), que se inicia com o primeiro unlock , não são permitidos locks .

Se um sistema possui uma transação que não é duas-fases, é possível acrescentar a este sistema uma transação duas-fases que permite a construção de um escalonamento legal e inconsistente.

O escalonamento S abaixo é legal e inconsistente:

unlock e₁

lock e₁

write e₁

lock e₂

write e₂

unlock e₁

unlock e₂

lock e₂

pois tanto $(T_{1},e_{1},T_{2}) \ in DEP(S)$ como $T_{2}, e_{2}, T_{1}) \in DEP(S)$