Highly Available Transactions: Virtues and Limitations
consistency , availability , and convergence .