CAP Theorem Variants
CAP 定理は、分散システムが一貫性、可用性、分断耐性のうち高々 2 つしか同時に満たせないと述べるものであり、その派生形はトレードオフをより精緻化する。
目的
CAP の派生形と精密な定式化を深く理解し、分散データベースのアーキテクチャ上のトレードオフ判断の指針とする。
メカニズム
ネットワーク分断 (P) は避けられないため、現実の選択は C と A の間になる。CP は一貫性のために可用性を犠牲にし（Spanner など）、AP は可用性のために一貫性を犠牲にする（Cassandra など）。CA は分断のない単一ノードとしてしか存在しない。Brewer による 2012 年の修正では、分断中に失われるのは完全な可用性ではなくレイテンシであるとされる。
ユースケース
- 分散データベースの選定
- アーキテクチャのトレードオフ分析
- システム設計