Open In App
Related Articles

GATE | GATE CS 2008 | Question 14

Improve Article
Save Article
Like Article

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


(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

Last Updated : 15 Feb, 2018
Like Article
Save Article
Similar Reads