Théorème fondamental des systèmes distribués (Brewer, 2000) qui stipule qu'un système distribué ne peut garantir simultanément que deux des trois propriétés suivantes : Consistency (toutes les lectures retournent la valeur la plus récente écrite), Availability (toutes les requêtes reçoivent une réponse, même sans garantie d'actualité), et Partition Tolerance (le système continue de fonctionner même si des messages réseau sont perdus entre nœuds). En pratique, les pannes réseau (partitions) sont inévitables, donc le vrai choix est entre CP (cohérence forte, ex: HBase, Zookeeper) et AP (disponibilité maximale, ex: Cassandra, DynamoDB). Le théorème PACELC étend CAP en ajoutant le trade-off latence/cohérence en l'absence de partition, ce qui est le cas nominal.