Title :
Perspectives on the CAP Theorem
Author :
Gilbert, Seth ; Lynch, Nancy A.
Author_Institution :
Nat. Univ. of Singapore, Singapore, Singapore
Abstract :
The CAP theorem is one example of a more general tradeoff between safety and liveness in unreliable systems. Viewing CAP in this context provides insight into the inherent tradeoffs and the manner in which they can be circumvented in practice.
Keywords :
theorem proving; CAP theorem; consistency-availability-partition tolerance theorem; system liveness; system safety; Computer crashes; Data processing; Distributed databases; Fault tolerance; Relational databases; Reliability; CAP theorem; Distributed computing; Fault tolerance;
DOI :
10.1109/MC.2011.389
