PACELC theorem 是 CAP 的扩展。CAP 认为：在发生网络 partition（P）时，分布式系统必须在 Availability (A) 与 Consistency (C) 之间二选一。

PACELC 进一步引入 latency (L)：即使没有 partition、系统正常运行（Else, E），也需要在 latency (L) 与 consistency (C) 之间做取舍。

PACELC theorem 最早由 Daniel J. Abadi 描述。