Consider this query: Retrieve the Ssns of employees who work on at least those projects on which

Question:

Consider this query: Retrieve the Ssns of employees who work on at least those projects on which the employee with Ssn=123456789 works. This may be stated as (FORALL x) (IF P THEN Q), where

■ x is a tuple variable that ranges over the PROJECT relation.

■ P ≡ employee with Ssn=123456789 works on project x.

■ Q ≡ employee e works on project x. 

Express the query in tuple relational calculus, using the rules

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

■ (IF P THEN Q) ≡ (NOT(P) OR Q).

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question

Fundamentals Of Database Systems

ISBN: 9780133970777

7th Edition

Authors: Ramez Elmasri, Shamkant Navathe

Question Posted: