这篇Paper仿照CAP Theorem提出了一个SNOW Theorem。即S,N,O和W不能同时满,根据这里SNOW Theorem来知道系统的设计,Paper中也给出了两个分布式事务系统的例子,一个满足SNW,一个满足NOW。其中: