黄金法则

任何更新都不能让数据库总体约束为 FALSE。这个规则针对更新运算，而不是事务边界；它要求每个可见数据库状态都一致，避免把错误状态暴露给查询和程序。