“…Recent years have seen a plethora of consistency model proposals that make different trade-offs between consistency and performance [6,7,20,22]. Unfortunately, whereas transactional consistency models have been well-studied in the settings of smaller-scale databases [2,13,21] and transactional memory [5,12,14,16], models for large-scale distributed databases are poorly understood. In particular, we currently lack a rich theory that would guide programmers in using such models correctly and efficiently.…”