这篇文章 Seth Gilbert 和 Nancy Lynch 形式化证明了 Brewer 的 CAP 理论。讨论了异步网络环境和半异步网络环境下 CAP 理论的正确性。鄙人英语 so so ，再加上文章比较枯燥，仅翻译下所列出的定理:

继续阅读 →