PACELC

A framing for replicated data stores: if there is a partition, how does the system trade availability against consistency; else, in normal operation, how does it trade latency against consistency. It is a design vocabulary, not a second CAP theorem.