Availability Vs Consistency Cap Theorem