关系模型的声明式本质

关系模型在本质上是声明式的，而不是过程化的——只要存在可行的声明式方案，关系模型 总是优先选择声明式而非过程化的解决路径。这个偏好的原因直接指向责任归属：声明式 方案意味着”怎么算”这件事交给系统负责，用户只需要说清楚”要什么”；过程化方案则意味着 “怎么算”要由用户亲自负责，需要手写具体的执行步骤（比如[[模型与实现的区分及连接 很慢为何没有意义]]中提到的手写嵌套循环反例）。这正是为什么关系模型要支持声明式 查询、声明式更新、声明式视图定义、声明式完整性约束——把执行细节留给实现层去优化， 用户只需要正确表达意图本身，这也是生产力差异的根源。这个原则也带来一条实用的 警惕提示：书中提到至少有一个知名SQL产品滥用了”声明式”这个术语——允许用户以 声明式的方式表述某些内容（比如声明某个视图具有某个键），却并不真正在系统内部 强制这个约束成立，而是简单地假定用户会自己保证它成立；这种”允许声明但不强制约束” 的做法名不副实，读者需要对这类术语滥用保持警觉，不要把”支持声明式语法”和”真正 提供声明式保证”混为一谈。