Compare strong, eventual, causal, session, and tunable consistency. Apply CAP and PACELC to concrete failure and latency tradeoffs.
