DBMS 中的存在量词和通用量词

【问题标题】：Existential and Universal quantifiers in DBMSDBMS 中的存在量词和通用量词
【发布时间】：2011-03-13 14:51:29
【问题描述】：

我了解它们是什么，并且我已经看到了有关这些的示例。一个这样的例子是

{t.Fname,t.Lname|Employee(t) AND (∃d)(Department(d) AND d.Dname='Research' AND d.Dnumber=t.Dno)}

现在上面和这个有什么区别

{t.Fname,t.Lname|Employee(t) AND Department(d) AND d.Dname='Research' AND d.Dnumber=t.Dno}

怎么样

(∀x) (P(x)) ≡ NOT (∃x) (NOT (P(x)))

谁能解释一下？

【问题讨论】：

【解决方案1】：

对于每一个x，P(x)表示所有x都满足P，也就是说不存在不满足P的x，因此

(∀x) (P(x)) ≡ NOT (∃x) (NOT (P(x)))

【讨论】：

原理懂，公式不懂。 LHS 表示对于所有 x，P(x) 返回 true。 RHS 是我不理解的。 NOT (P(x)) 实际上表示 P 以外的表中的元组（行）。
@Prabhat：RHS。没有第一个 NOT 表示：存在不满足 P 的行。使用第一个 NOT 表示：存在不满足 P 的行，这与说所有行都满足 P 相同
@Armen - 谢谢。那么反过来的情况呢？ (∃x) (P(x)) ≡ NOT (∀x) (NOT (P(x)))
@Prabhat：LHS 表示：存在 P(x) 的行。没有第一个 NOT 的 RHS 意味着：对于所有行 P 都不满足。第一个 NOT 表示：不是所有行 P 都不满足，这意味着至少存在一个行。
@Armen - 谢谢。 Rep++ 你能说一下帖子中的例子吗？