Transações

Ações modificam o estado

Sobre cada entidade, locks e unlocks podem ser usados para evitar conflitos

Pode ser necessário violar temporariamente a consistência do sistema

Transações são agrupamentos de ações em unidades de consistência :

Cada transação, quando executada isoladamente, transforma um estado consistente em outro estado consistente

É este o acordo entre o controle de concorrência do banco de dados e o programador de transações, que

Problema: maximizar o paralelismo, dando a cada transação uma visão consistente do sistema