Quorum
分散データベースシステムにおいて、トランザクションは複数サイトにおいて処理を実行している場合がある。アトミック性は全ての分散トランザクションがアトミックであることを要求するため、そのトランザクションも全てのサイトにおいて、コミットあるいは中止のいずれかの結末に至らなければならない。ネットワークパーティショニングの場合、サイトはパーティションに区分され、パーティション同士は通信可能ではない可能性がある。ここでquorumベースの技術が用いられる。基本的な考え方は、過半数のサイトがトランザクションの実行に投票した場合、そのトランザクションは実行される、というものである。
システム内の全てのサイトは票Viを持つ。システム内の総票数はVであり、中止およびコミットのquorumをそれぞれ、VaとVcとする。この場合、コミットプロトコルの実装には、次のルールが守らなければならない。
Va + Vc > V なお、0 ≤ {\displaystyle \leq } Va, Vc ≤ {\displaystyle \leq } V
トランザクションがコミットする前にコミットquorum Vcを獲得しなければならない。
トランザクションが中止する前にアボートquorum Vaを獲得しなければならない。
最初のルールによりトランザクションのコミットと中止が同時になされることが無いことが保証される。次の2つのルールはトランザクションがいずれかの方法で終了する前に必要な票数を示している。