理論的なコンピュータ科学では、PACELC定理はCAP定理の拡張です。分散型コンピュータシステムにおけるネットワーク分割（P）の場合、可用性（A）と一貫性（C）（CAP定理に従って）を選択しなければならないが、そうでなければパーティションが存在しない場合には正常に動作し、待ち時間（L）と一貫性（C）のいずれかを選択する必要があります。