CAP定理由埃里克-布鲁尔提出，指出分布式系统无法同时实现一致性、可用性和分区容忍性。塞斯-吉尔伯特和南希-林奇提供了CAP定理的形式证明。在永久分区下无法实现一致性，非永久分区下可以实现强一致性和弱一致性。CAP定理对分布式系统有积极和消极影响，但在实践中可能不适用于当前的设计挑战。不变汇合是一个更有用的思考框架。