Quorum Requirement. If Q and R are quorums, then Q ∩ R /= Ø. In fact, any general algorithm for asynchronous consensus must satisfy a similar requirement, as shown by the Accepting Lemma in [Lamport, 2006b]. A simple way to satisfy this requirement is define quorums as any majority of the acceptors. We use this approach in this section for its simplicity.
Appears in 2 contracts
Sources: Doctoral Dissertation, Doctoral Dissertation