8.1.4 CAP定理和BASE理论