GATE | GATE CS 2008 | Question 14

Which of the following tuple relational calculus expression(s) is/are equivalent to 18

cs2008

(A) I only 
(B) II only 
(C) III only 
(D) III and IV only 


Answer: (C)

Explanation: Some transformation rules for tuple relational calculus are :

 
 \cdot (\forall t)(P(t))=(not \hspace{0.2cm}\exists\hspace{0.2cm} t)(not \hspace{0.2cm}(P(t)))   \cdot (\exists t)(P(t))=not(\forall \hspace{0.2cm}t)(not \hspace{0.2cm}(P(t)))

 
Thus, using the above rules option (C) is correct.



 
Please comment below if you find anything wrong in the above post.

Quiz of this Question



My Personal Notes arrow_drop_up


Article Tags :

Be the First to upvote.


Please write to us at contribute@geeksforgeeks.org to report any issue with the above content.