Escalonamentos

Um escalonamento S é uma sequência obtida intercalando-se as ações de $T_{1}, \ldots, T_{n}$

Um escalonamento é legal se nenhuma transação trava uma entidade já travada por outra

Um escalonamento serial não intercala ações de transações distintas: $S = T_{i_{1}}, T_{i_{2}}, \ldots, T_{i_{n}}$

Um escalonamento S induz uma relação de dependência entre transações que usem uma mesma entidade e:

$\begin{displaymath} (T_{1}, e, T_{2}) \in DEP(S)\end{displaymath}$

se e somente se

$\begin{displaymath} S = [\ldots,(T_{1}, a_{1}, e), \ldots ,(T_{2},a_{2},e),\ldots]\end{displaymath}$

e se não existe nenhuma ação (T_j, a_j, e) escalonada no intervalo $(T_{1}, a_{1}, e), \ldots ,(T_{2},a_{2},e)$ .

( a saída de T₁ é a entrada de T₂ ; por este motivo a relação DEP é chamada por alguns autores de reads-from ).

Observação: se T₁ e T₂ são bem formadas,