データベーススペシャリスト 2023年 午前2 問01

CAP定理の制約【午前2解説】

正解の理由

解法ステップ

1. 用語を明確にする（Consistency＝単一の一貫した見え方、Availability＝各要求に対し応答を返すこと、Partition tolerance＝ネットワーク分断を許容すること）。
2. 問題の前提を確認する（CAP定理は分断が起きうる分散システムを前提とする）。
3. 選択肢を上の定義に照らして評価する（分断が起きる場合に三者を同時に満たせるかどうかを考える）。
4. 分断発生時にCとAの両立が不可能である点を示す記述を正答とする。

選択肢別の誤答解説

• ア: 「可用性が高く最終的に整合性が取れる」という記述は「最終的一貫性（eventual consistency）」の説明に近く、AP寄りの設計を表しています。しかしCAP定理そのものは『分断が起きたときにCとAを同時に満たせない』ことを主張するため、文面が状況依存で一般命題としては不十分です。よって不正解。
• イ: トランザクション処理が整合性を保証するというのは単一ノードやACIDを前提とした場合の説明で、分散環境でネットワーク分断が起きると可用性の確保と整合性保持の間でトレードオフが生じます。したがって「常に矛盾が起きない」とするのは誤り。
• ウ: 「並列実行の結果が直列実行と一致する」は直列化可能性（Serializability）や並行制御に関する性質で、CAP定理の主題（C/A/Pのトレードオフ）とは異なります。分散環境では直列化を保つために性能や可用性を犠牲にする場合があり、CAPの主張とは別軸の概念です。
• エ: 分散システムにおける整合性（C）、可用性（A）、分断耐性（P）の三つを同時に完全に満たすことはできない、という点を正確に述べており、CAP定理の要旨と一致します。よってこれが正答です。

よくある誤解

1. 「CAPは常に三者のうち二つしか選べない」——誤り。ネットワーク分断が発生しない理想的な状況ではC・A・Pを実質的に満たすことが可能ですが、CAP定理が問題にするのは「分断が発生した場合」です。
2. 「整合性＝厳密な即時整合性だけを指す」——誤解。CAPの「Consistency」は単一の一貫性（single-copy consistency／linearizability 相当）を指すことが多く、最終的一貫性などの弱い整合性は“C”とは別に扱われます。
3. 「CAPだけで設計方針が全て決まる」——誤り。実務ではPACELCなど、分断発生時と平常時のトレードオフをより細かく扱う理論もあり、チューニングや一貫性レベルの選択が重要です。

補足コラム

• 起源と証明: CAP定理はEric Brewerの提案（2000年頃）に始まり、その後Seth GilbertとNancy Lynchが2002年に形式的に示しました（Gilbert & Lynch, 2002）。この論文は分散アルゴリズムの観点から、ネットワークの非同期性と分断を前提にしてC・A・Pの不可共同性を論証しています。
• 実システムの例:
  • AP志向の例：Dynamo、Cassandra（可用性と分断耐性を重視し、最終的一貫性を採用することが多い）
  • CP志向の例：HBase、etcd（整合性と分断耐性を重視し、分断時は可用性を犠牲にする場合がある）
• 発展理論: PACELC（分断時はPでのトレードオフ、分断がない時はLatencyとConsistencyのトレードオフ）など、CAPを補完する考え方が用いられます。

FAQ