computer-science - DBMS における存在量指定子と汎用量指定子

Question

私はそれらが何であるかを理解しており、これらに関する例を見てきました。そのような例の1つは

{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)))

誰か説明してもらえますか？

Answer 1

すべての x に対して P(x) は、すべての x が P を満たすことを意味します。これは、P を満たさない x が存在しないことを意味します。したがって、

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