Consistency and availability trade-offs