- - - - CENAPAD-MGCO

A seguir: Transações bem formadas Acima: Travamentos Anterior: Travamento em duas fases

Transações: Definição Formal

Uma transação T é uma sequência

$$[(T,a_{1},e_{1}),\ldots , (T, a_{n}, e_{n})]$$

onde

• a_i é uma ação
• e_i é uma entidade

Ações são sempre

• operações de escrita, ou
• locks, ou
• unlocks

Ações de leitura são omitidas para simplificar