- - - - CENAPAD-MGCO

A seguir: Exemplos de escalonamentos Acima: Travamentos Anterior: Escalonamentos

Aciclicidade da relação de dependência

Para os escalonamentos seriais, a relação de dependência deve ser acíclica:

$$(T_{1}, e_{1}, T_{2}) \in DEP \Longrightarrow\not \exists e_{2}, (T_{2}, e_{2}, T_{1}) \in DEP$$

Os escalonamentos S₁ e S₂ são equivalentes se

DEP(S₁) = DEP(S₂)

Porque?

• mesmo estado inicial
• mesma visão do banco de dados para cada uma das transações

Um escalonamento S é consistente se for equivalente a algum escalonamento serial