4.2.3 CAP定理和最终的一致性