ACID一致性不等于正确性，及"事务不是完整性单位"

ACID的一致性（consistency）指的是任何事务把数据库从一个一致状态转换到另一个 一致状态，中间时刻不必保持一致；这里的”一致”其实只是”完整性”的另一种说法 ——数据库状态一致当且仅当它满足所有已定义的约束。业界长期存在一种流行观点： 事务应该是”完整性的单位”，也就是默认接受”约束只需要在事务提交时满足即可， 事务内部过程中可以暂时违反”这一立场。书中明确不认同这个说法，主张完整性的 单位应该是语句（statement）——数据库约束必须在每条语句执行完成的边界处就 得到满足，而不能靠事务边界拖延到最后。理解这条主张的关键是看清一致性和正确性 （真实性）本质上是两个不同层级的概念：一个数据库若只包含真命题，它必然是一致 的，但反过来一个”一致”（不违反任何已声明约束）的数据库未必真的反映了现实 世界的真相——”正确”能推出”一致”，但”一致”推不出”正确”；同理”不一致”能推出 “错误”（数据库里至少存在一个假命题），但”错误”推不出”不一致”（可能存在一个 假命题恰好不违反任何声明的约束）。这个区分之所以重要，是因为它划清了系统能力 的边界：DBMS永远无法验证一条断言在现实世界中是否真实（供应商S1是否真的 “位于”London这件事本身超出了系统的判断能力），系统唯一能做、也应该做到的 就是强制一致性——检验用户的断言有没有违反已声明的约束，一旦通过就假定它为真， 直到未来某次更新明确推翻它为止。