假设我们有三个模式：
Instructor(id:integer, name:string, age:integer, salary:real)
Works(eid:integer, did:integer, pct-time:integer)
Dept(did:integer, budget:real, managerid:integer)
让我从展示两个类似的问题开始：
a) 查找管理预算超过 100 万美元的所有部门的教师的经理 ID。
b) 查找仅管理预算超过 100 万美元的部门的教师的经理 ID。
我的问题是我无法弄清楚为什么u=[managerid] = s[managerid]和u[budget] > 1000000约束被切换。有人可以用文字解释为什么顺序会影响结果吗？
(a) 的演算要求教师行，如果一个部门很大，那么他们管理它。
(b) 的演算要求教师行，如果他们管理一个部门，那么它就很大。
我选择的措辞是通过使用解释逻辑运算符的英语单词产生的。碰巧的是，如果您使英语更精确（考虑“for all”和“for some”/“there exists”并命名“them”和“it”），结构仍然是平行的。
至于“为什么”，我们可以将您的英语短语描述为因单词的变化和移动而有所不同，并且与我的英语具有相同的含义，那只是“因为”这就是英语。这些查询有效地定义了短语“ subject s verb all object s”和“ subject s only verb noun s”的含义。
为什么要切换 [...] 约束
为什么顺序会影响结果
数学中的“为什么”问题没有意义。我们假设陈述，然后一大堆事情是真假。没有“为什么”。在那种情况下，我们可以合理地将“为什么……”解释为“什么是……的证明”？但你在这里不是这个意思。英文语句不同，那么为什么查询不会不同呢？查询不同，为什么结果不会不同？你是什么意思，“为什么”？为什么，究竟是什么？为什么不呢？