Consider this query: Retrieve the ssns of employees who work on at least those
projects on which the employee with \(\operatorname{ss} N=123456789\) works.
This may be stated \(\operatorname{as}(\text { FORALL } x)(\text { IF } P \text
{ THEN } Q),\) where
\(\bullet\) \(x\) is a tuple variable that ranges over the PROJECT relation.
\(\bullet\) \(P \equiv\) employee with \(\operatorname{ssN}=123456789\) works on
project \(x\)
\(\bullet\) \(Q \equiv\) employee e works on project \(x\)
Express the query in tuple relational calculus, using the rules
\(\bullet\) \((\forall x)(P(x)) \equiv \operatorname{NOT}(\exists
x)(\operatorname{NOT}(P(x)))\)
\(\bullet\) (IF \(P \text { THEN } Q) \equiv(\mathrm{NOT}(P) \text { OR } Q)\)