Open In App
Related Articles

GATE | GATE CS 2008 | Question 14

Improve Article
Improve
Save Article
Save
Like Article
Like

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

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