Courses
Tutorials
- DSA
- Data Structures
- Algorithms
- Interview Corner
- Languages
  - C
  - C++
  - Java
  - Python
  - JavaScript
  - PHP
  - C#
  - SQL
  - Scala
  - Perl
  - Go Language
  - Kotlin
- Web Development
  - HTML
  - CSS
  - JavaScript
  - PHP
  - CSS Frameworks
  - JavaScript Frameworks
  - JavaScript Libraries
  - WordPress
  - JSON
- School Learning
  - English Grammar
  - School Programming
  - Mathematics
  - Maths Notes (Class 8-12)
  - NCERT Solutions
  - RD Sharma Solutions
  - Physics Notes (Class 8-11)
  - Chemistry Notes
  - Business Studies (Class 11th)
  - Business Studies (Class 12th)
  - Accountancy (Class 12th)
  - Statistics for Economics (Class 11th)
- ML & Data Science
  - Machine Learning
  - Data Science
- CS Subjects
- GATE
- Software Designs
  - Software Design Patterns
  - System Design Tutorial
- GFG Sheets
  - Web Dev Cheat Sheets
  - Company-Wise SDE Sheets
  - DSA Sheets
- CS Exams/PSUs
  - ISRO
  - UGC NET
- Student
- UPSC
- SSC CGL
- Banking Exams
Jobs
Practice
Contests

GATE | GATE CS 2008 | Question 14

Last Updated : 15 Feb, 2018

Read

Discuss

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

(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)))$