PACELC

A principle adding the healthy-path latency-versus-consistency trade-off to CAP's partition choice.