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

CAP定理【午前2解説】

正解の理由

解法ステップ

1. 問題文から重要語を抽出：「一貫性」「可用性」「分断耐性」。
2. これらがセットで語られる有名な理論を想起する（CAP定理）。
3. 選択肢を照合：CAP定理を意味する選択肢を選ぶ（イ）。
4. 他の選択肢（BASE、アムダール、ベイズ）を定義に照らして除外する。

選択肢別の誤答解説

• ア: BASE特性
  • 説明: BASE は「Basically Available, Soft state, Eventually consistent」の略で、分散データストアが強い一貫性を放棄して可用性や漸近的一貫性を取る設計思想。CAPの主張そのものではないため不正解。
• イ: CAP定理（正解）
  • 説明: 上述のとおり。
• ウ: アムダールの法則
  • 説明: 並列処理における速度向上の理論（並列化による上限）であり、分散システムの一貫性・可用性・分断耐性のトレードオフとは無関係。
• エ: ベイズの定理
  • 説明: 条件付き確率の基本定理で、分散システム特性を述べる理論ではない。

よくある誤解

1. 「CAPは常に“二つしか満たせない”と言っている」
   • 誤解: CAPは「平常時でも常に二つまでしか満たせない」とは述べません。重要なのは「ネットワーク分断が発生した場合」に、可用性と強い一貫性を同時に保証することは不可能だという点です。分断がなければ両方を満たすことは可能です。
2. 「分断耐性は妥協できる」
   • 誤解: 実運用ではネットワーク分断は現実的な事象なので、多くの分散システムは分断耐性を前提に設計され、代わりに一貫性か可用性のどちらかを選ぶことが多いです。
3. 「一貫性＝データの整合性（広義）」
   • 誤解: CAPでの「一貫性」は実装により“強い一貫性（線形化可能性）”を指すことが多く、アプリケーションレベルの整合性制約とは区別して考える必要があります。

補足コラム

• 起源と証明: CAP定理は最初に Eric Brewer による経験的主張（2000年）として知られ、その後 Seth Gilbert と Nancy Lynch が理論的モデルで2002年に形式化・証明しました（"Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services"）。この証明は、非同期ネットワークモデルにおける不可能性結果として示されています。
• 実務的応用: 実際の設計では「CP（Consistency + Partition tolerance）」や「AP（Availability + Partition tolerance）」のどちらを重視するか、あるいは一貫性の強さを調整することで妥協（チューニング）します。
• PACELC: CAPの拡張概念として PACELC があります。要点は「パーティション発生時（P）には延性が生じるが、それ以外（E）でも遅延と一貫性のトレードオフ（L vs C）が常に存在する」という考え方で、より実務的な選択肢評価に役立ちます。

FAQ