Building Consistent Transactions with Inconsistent Replication
Highly Available Transactions: Virtues and Limitations