O deadlock ocorre quando cada transação em um conjunto de duas ou mais transações espera por algum item que esteja bloqueado por alguma outra transação T no conjunto.

Uma forma para detectar um estado de deadlock consiste em construir um grafo wait-for.

O problema de espera indefinida (starvation) pode ocorrer se o esquema de espera para itens bloqueados for parcial, dando prioridade a algumas transações sobre as outras.

As técnicas de controle de concorrência baseadas em ordenação por timestamp não usam bloqueios, portanto, deadlocks nunca podem ocorrer.

Diz-se que uma transação segue o protocolo de bloqueio de duas fases se todas as operações (read_lock, write_lock) precedem a última operação de desbloqueio na transação.