  In designing a distributed service, three desirable attributes are
Consistency, Availability and Partition Tolerance. In this note we explore a
framework for characterizing these three in a manner that establishes definite
limits and relationships between them, and explore some implications of this
characterization.
