语义优化依赖约束

外键、函数依赖等约束能证明某些连接或筛选是多余的，从而让优化器做语义变换。约束不仅防坏数据，也提供优化知识；缺约束会让系统既不安全也不聪明。