CAP理论指出分布式系统在网络分区时只能在一致性与可用性间二选一，P必须满足；BASE理论进一步提出AP场景下用“基本可用、软状态、最终一致”实现高可用与数据最终一致。