Um sistema de banco de dados distribuído (BDD) consiste em um relação de nós, cada qual podendo participar na execução de transações que acessam dados em um ou mais nós. O acesso a diversos itens de dados em um sistema distribuído é normalmente acompanhado de transações que têm de preservar a propriedade da atomicidade, que implica na seguinte premissa: