As arquiteturas que envolvem armazenamento distribuído da informação devem garantir que eventuais transações distribuídas (que envolvem operações de escrita em mais de um host) possuam certas propriedades.

Nesse contexto, o algoritmo que garante a conclusão correta de transações distribuídas de curta duração é conhecido como