我了解它们是什么,并且我已经看到了有关这些的示例。一个这样的例子是
{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)))
有人可以解释一下吗?
最佳答案
对于每个x P(x)表示所有x都满足P,也就是说不存在不满足P的x,因此
(∀x) (P(x)) ≡ NOT (∃x) (NOT (P(x)))
关于computer-science - DBMS 中的存在量词和通用量词,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5290111/