CAP Theorem

出典: Fukudat.com

PODC 2000のキーノートスピーチ^[1]でUC BerkeleyのBrewerが提唱した予想．

• Consistency (一貫性)
• Availability (可用性)
• Partition-Tolerance (分割許容性)

の3つを同時に満たすサービスを構築することはできないという主張．

のちにSeth Gilbertらによって証明^[2]が与えられた．

関連情報

• Julian Browne's Blog on Brewer's CAP Theoremとその日本語訳．証明を図解．
• Werner Vogels' weblog on Eventually Consistent - revisited．結果整合性の考え方．
• 丸山教授講演 at Qcon Tokyo 2009

脚注

1. ↑ Eric Brewer: "Towards Robust Distributed Systems", PODC 2000 Keynote
2. ↑ Seth Gilbert and Nancy Lynch: "Brewer's Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services", ACM SIGACT News, Volume 33 Issue 2, June 2002 or [1]