DDIA (Design Data Intensive Applications) Chapter 9
Keywords: Consistency Model, Linearizability, Causality, Eventual Consistency, Sequential Ordering, Total Oder Broadcast, Uniqueness Constraint, Distributed Transaction, Atomic Commit, 2PC, Consensus Algorithm, Fault-tolerant Consensus Algorithm, Paxos.