声明式约束

声明式约束能被系统检查、推理和用于优化；过程式约束只能靠代码执行，优化器无法理解。把业务规则写成声明式约束，是让数据库承担一致性责任的关键。