Regras do Bloqueio compartilhado/exclusivo
1. Uma transação T precisa emitir a operação read_lock(x) ou write_lock(x) antes de qualquer operação read_item(x) ser realizada em T.
2. Uma transação T precisa emitir uma operação write_lock(x) antes de qualquer operação write_item(x) ser realizada.
3. Uma transação T precisa emitir uma operação unlock(x) após todas as operações read_item(x) e write_item(x) serem completadas em T.
4. Uma transação T não emitirá uma operação read_lock(x) se ela já mantiver um bloqueio de leitura (compartilhada) ou um bloqueio de gravação (exclusivo) no item X. Essa regra pode ser flexível.
5. Uma transação T não emitirá uma operação write_lock(x) se ela já mantiver um bloqueio de leitura ( compartilhado) ou um bloqueio de gravação (exclusivo) no item X. Essa regra pode ser flexível.
6. Uma transação T não emitirá uma operação unlock(x) a menos que já mantenha um bloqueio de leitura (compartilhado) ou um bloqueio de gravação(exclusivo) no item X.