CAP定理由Eric Brewer于2000年提出，指分布式数据存储最多同时满足一致性、可用性、分区容错性中的两项。