分布式理论系列（一）从 ACID 到 CAP 到 BASE