Экзистенциальные и универсальные квантификаторы в СУБД

Question

Я понимаю, что они есть, и я видел примеры, касающиеся этого.Одним из таких примеров является

{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)) ≡ НЕ (∃x) (НЕ (P (x)))

Может кто-нибудь объяснить, пожалуйста?

Answer 1

Для каждого x P (x) означает, что все x удовлетворяют P, что означает, что не существует x, который не удовлетворяет P, следовательно,

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