What are common examiner traps in Relational Model and SQL?

Assuming SQL joins preserve the exact duplicate semantics of an `IN (subquery)` without deduplicating the inner subquery table. Forgetting that `> ALL (empty set)` evaluates to TRUE in SQL, rather than FALSE or NULL. Overlooking that set difference A(R) - A( condition(R S)) expresses universal negation ('for all') rather than existential ('for some'). Confusing relational division divisor vs. quotient schemas (e.g., dividing by (Own) instead of the full universe (Brand)). Forgetting that combining k relation instances requires k-1 binary Cartesian product operators, not k. Neglecting duplicate elimination in Relational Algebra projections compared to SQL `SELECT` without `DISTINCT`. Confusing degree (number of attributes/columns) with cardinality (number of tuples/rows). Assuming the degree equals the number of distinct domains (multiple attributes can share the exact same underlying domain, e.g., sourcecity and destcity). Confusing the total cell count (degree cardinality) with either degree or cardinality. Confusing process description standards (e.g., BPMN) with data representation standards (e.g., XML/JSON). Mixing architectural mechanisms (e.g., Publish-find-bind) with overarching requirements (e.g., Interoperability).

Relational Model and SQL

15 Qs · since 2011 · 25 marks · 1 marks/paperStandard yield

Take topic test

GATE tests the relational model across three interrelated formalisms: Relational Algebra (RA), Relational Calculus (TRC/DRC), and SQL. Questions evaluate core semantic equivalences… Guide

Type

GATE CSE 2026 Set 1Q43MCQ2 marksEasyConsider a relational database schema with two relations $R(P, Q)$ and $S(X, Y)$ . Let $E = \{\langle u \rangle \mid \exists v \,\exists w \,\langle u, v \rangle \in R \land \langle v, w \rangle \in S\}$ be a tuple relational calculus expression. Which one of the following relational algebraic expressions is…
GATE CSE 2025 Set 1Q39MCQ2 marksEasyConsider two relations describing $teams$ and $players$ in a sports league: • $teams(tid, tname)$ : $tid, tname$ are team-id and team-name, respectively • $players(pid, pname, tid)$ : $pid, pname$ , and $tid$ denote player-id, player-name and the team-id of the player, respectively Which ONE of the…
GATE CSE 2024 Set 2Q45MCQ2 marksMediumThe relation schema, Person(pid,city), describes the city of residence for every person uniquely identified by pid. The following relational algebra operators are available: selection, projection, cross product, and rename. To find the list…
GATE CSE 2023Q16MCQ1 markEasyWhich one of the options given below refers to the degree (or arity) of a relation in relational database systems?
GATE CSE 2022Q25MSQ1 markMediumConsider the following three relations in a relational database. $Employee(\underline{eId}, Name)$ , $Brand(\underline{bId}, bName)$ , $Own(\underline{eId}, \underline{bId})$ Which of the following relational algebra expressions return the set of $eIds$ who own all the brands?
GATE CSE 2021 Set 1Q23NAT1 markMediumA relation $r(A, B)$ in a relational database has 1200 tuples. The attribute $A$ has integer values ranging from 6 to 20, and the attribute $B$ has integer values ranging from 1 to 20. Assume that the attributes $A$ and $B$ are independently distributed. The estimated number of tuples in the output of $\sigma_{(A>10)\vee(B=18)}(r)$ …
GATE CSE 2017 Set 1Q23NAT1 markEasyDiagramConsider a database that has the relation schema EMP (EmpId, EmpName, and DeptName). An instance of the schema EMP and a SQL query on it are given below. The output of executing the SQL query is _________.
GATE CSE 2017 Set 1Q41MCQ2 marksHardConsider a database that has the relation schemas EMP(EmpId, EmpName, DeptId), and DEPT(DeptName, DeptId). Note that the DeptId can be permitted to be NULL in the relation EMP. Consider the following queries on the database expressed in tuple relational calculus. (I) $\{ t \mid \exists u \in \text{EMP}(t[\text{EmpName}] = u[\text{EmpName}] \wedge \forall v \in \text{DEPT}(t[\text{DeptId}] \neq v[\text{DeptId}])) \}$ …
GATE CSE 2017 Set 1Q46NAT2 marksMediumDiagramConsider a database that has the relation schema CR(StudentName, CourseName). An instance of the schema CR is as given below. The following query is made on the database. $T1 \leftarrow \pi_{\text{CourseName}} (\sigma_{\text{StudentName} = '\text{SA}'}(\text{CR}))$ $T2 \leftarrow \text{CR} \div T1$ The number of…
GATE CSE 2017 Set 2Q46NAT2 marksMediumDiagramConsider the following database table named top_scorer. Consider the following SQL query: SELECT ta.player FROM top_scorer AS ta WHERE ta.goals >ALL (SELECT tb.goals FROM top_scorer AS tb WHERE tb.country = 'Spain') AND ta.goals >ANY (SELECT tc.goals FROM top_scorer AS tc WHERE tc.country = 'Germany')…
GATE CSE 2014 Set 2Q54MCQ2 marksMediumSQL allows duplicate tuples in relations, and correspondingly defines the multiplicity of tuples in the result of joins. Which one of the following queries always gives the same answer as the nested query shown below: select * from R where a in (select S.a from S)
GATE CSE 2014 Set 3Q30MCQ2 marksMediumConsider the relational schema given below, where eId of the relation dependent is a foreign key referring to empId of the relation employee. Assume that every employee has at least one associated dependent in the dependent relation. employee (empId, empName, empAge)…
GATE CSE 2013Q11MCQ1 markEasyDiagramMatch the problem domains in GROUP I with the solution technologies in GROUP II.
GATE CSE 2013Q35MCQ2 marksEasyConsider the following relational schema. $\text{Students}(\underline{\text{rollno: integer}}, \text{ sname: string})$ $\text{Courses}(\underline{\text{courseno: integer}}, \text{ cname: string})$ $\text{Registration}(\underline{\text{rollno: integer}}, \underline{\text{courseno: integer}}, \text{ percent: real})$ …
GATE CSE 2011Q46MCQ2 marksEasyDiagramDatabase table by name Loan_Records is given below. What is the output of the following SQL query? SELECT count(*) FROM ( (SELECT Borrower, Bank_Manager FROM Loan_Records) AS S NATURAL JOIN (SELECT Bank_Manager, Loan_Amount FROM Loan_Records) AS T );

Topic guide

What does GATE test in Relational Model and SQL?

GATE tests the relational model across three interrelated formalisms: Relational Algebra (RA), Relational Calculus (TRC/DRC), and SQL. Questions evaluate core semantic equivalences, translation between declarative calculi and algebraic operators, table instance tracing (such as joins, group-by aggregations, and division), and corner cases like SQL three-valued logic, duplicate preservation, and safe TRC expressions.

Core concepts

Relational Algebra fundamental operators: Selection, Projection, Cross Product, Set Difference, Union, Rename
Derived RA operators: Natural Join, Theta Join, Relational Division
Tuple Relational Calculus (TRC) and Domain Relational Calculus (DRC) syntax and quantifiers ( , )
Safe TRC expressions and domain independence
Relational Division and 'for all' universal quantification implementations
SQL nested subqueries: IN, ALL, ANY / SOME
SQL duplicate preservation vs. set semantics in relational algebra
SQL GROUP BY and nested aggregate functions (AVG of COUNT)
Selectivity and cardinality estimation under uniform distribution
Degree (Arity) of a relation
Cardinality of a relation instance
Relation schema vs. relation instance
Attribute domains and distinct domain sets
Tuples and attributes
Information representation (XML / semi-structured data)
Service-Oriented Architecture and computing (Publish-find-bind model)
Heterogeneous system communication (Interoperability)
Workflow and business process modeling (BPMN)

Recurring question patterns

Query Equivalence and Cross-Formalism Translation
common · MCQ · 2 marks · 2026, 2025, 2013
Given an English requirement or an expression in TRC/DRC/SQL, identifying the equivalent representation in Relational Algebra or another query language.
Table Instance Execution & Output Size Calculation
common · NAT · 2 marks · 2017, 2011
Given one or more relation tables, tracing the exact output tuples or computing numeric aggregates (e.g., COUNT, AVG, natural join cardinality, relational division output size).
Relational Division and 'Universal / For All' Semantics
common · MSQ · 1.5 marks · 2022, 2017, 2014
Identifying algebraic expressions or set-difference formulations ( $R - (R \times S - T)$ ) that correctly capture 'for all' requirements, or calculating division results.
SQL Subquery Semantics and Quantification (>ALL / >ANY / IN)
occasional · MCQ · 2 marks · 2017, 2014
Analyzing behavior of nested SQL queries with set membership (`IN`) or set comparisons (`>ALL`, `>ANY`), specifically testing empty set and duplicate handling.
Query Selectivity & Cardinality Estimation
occasional · NAT · 1 marks · 2021
Calculating the expected number of output tuples given uniform and independent attribute value distributions under compound boolean selection predicates.
Expressive Power and Operator Counting in Pure RA
occasional · MCQ · 2 marks · 2024
Determining the minimum number of primitive RA operators (like Cartesian products or self-joins) required to simulate non-aggregate constraints like 'at least $k$ ' occurrences.
Safety and Domain Independence of Calculus Expressions
rare · MCQ · 2 marks · 2017
Determining whether given TRC/DRC queries are safe (i.e., guaranteed to return a finite relation drawn strictly from the database domain).
Relational Terminology Identification
rare · MCQ · 1 marks · 2023
Direct conceptual questions asking for the definition or distinction between structural relational terms such as degree, arity, cardinality, domains, or tuples.
Match Domain Concepts to Solution Technologies
rare · MCQ · 1 marks · 2013
Matching conceptual problem areas (such as information representation, process workflows, computing architecture, or system communication) with standard industry paradigms/technologies (such as XML, BPMN, Publish-find-bind, or Interoperability).

Formulas GATE uses

Relational Division Definition via Fundamental Operators

R(A, B) \div S(B) = \Pi_A(R) - \Pi_A((\Pi_A(R) \times S) - R)

Used when rewriting or validating relational division in terms of projection, Cartesian product, and set difference.

Disjunctive Selection Selectivity (Independent Attributes)

P(C_1 \lor C_2) = P(C_1) + P(C_2) - (P(C_1) \cdot P(C_2))

Used to compute estimated result size for queries with OR conditions over independent attribute distributions.

Minimum Cross Products for k-element Comparison

\text{Minimum cross products} = k - 1

Used to find the minimum number of binary cross products needed to join $k$ instances of a relation for counting-based constraints in pure relational algebra.

SQL >ALL on Empty Set Identity

\text{val} > \text{ALL}(\emptyset) = \text{TRUE}

Used when evaluating SQL queries where a subquery referenced in an ALL comparison returns zero rows.

Degree (Arity) of a Relation

\text{Degree}(R) = |\text{Attributes}(R)|

Determining the arity or degree of a relation schema $R$ .

Cardinality of a Relation

\text{Cardinality}(R) = |\text{Tuples}(R)|

Determining the number of rows/tuples in an instance of relation $R$ .

Examiner traps in Relational Model and SQL

Assuming SQL joins preserve the exact duplicate semantics of an `IN (subquery)` without deduplicating the inner subquery table.
Forgetting that `> ALL (empty set)` evaluates to TRUE in SQL, rather than FALSE or NULL.
Overlooking that set difference A(R) - A( condition(R S)) expresses universal negation ('for all') rather than existential ('for some').
Confusing relational division divisor vs. quotient schemas (e.g., dividing by (Own) instead of the full universe (Brand)).
Forgetting that combining k relation instances requires k-1 binary Cartesian product operators, not k.
Neglecting duplicate elimination in Relational Algebra projections compared to SQL `SELECT` without `DISTINCT`.
Confusing degree (number of attributes/columns) with cardinality (number of tuples/rows).
Assuming the degree equals the number of distinct domains (multiple attributes can share the exact same underlying domain, e.g., sourcecity and destcity).
Confusing the total cell count (degree cardinality) with either degree or cardinality.
Confusing process description standards (e.g., BPMN) with data representation standards (e.g., XML/JSON).
Mixing architectural mechanisms (e.g., Publish-find-bind) with overarching requirements (e.g., Interoperability).

How questions are asked

Table trace to find aggregate value (NAT)
Table trace to count result tuples after subquery filters (NAT)
Match English query to equivalent SQL, RA, TRC, DRC expressions (MCQ)
Identify equivalent fundamental RA expressions for relational division (MSQ)
Count minimum operators required to express a query (MCQ)
Estimate result cardinality using selectivity probability (NAT)
Identify safe vs unsafe calculus expressions (MCQ)
definition recall MCQ
Match the following (Group I to Group II 4x4 mapping)

Paper trends

Shift from simple table tracing and SQL syntax evaluation towards deep algebraic identities, minimum operator bounds, and foundational TRC/DRC syntax matching.
2026, 2025, 2024, 2022, 2014, 2013, 2011
Adoption of NAT and MSQ question formats to test numerical tracing (aggregates, table rows, selectivity estimation) and multiple equivalent formulations of relational division.
2022, 2021, 2017
Direct textbook terminology was introduced as a 1-mark standalone MCQ testing precise relational definitions.
2023
Appeared as a 1-mark breadth-oriented matching MCQ bridging database data models (XML) and enterprise architecture concepts.
2013

Difficulty notes

Easy questions require standard TRC-to-RA translations, basic SQL aggregation on given tables, or straightforward join counts. Medium questions involve relational division equivalence, SQL nested subquery semantics with duplicates/empty sets, or algebraic operator minimization. Hard questions involve subtle calculus safety proofs, domain-independence edge cases, or multi-nested quantified calculus translations.

Relational Model and SQL

15 Qs · since 2011 · 25 marks · 1 marks/paperStandard yield

Take topic test

GATE tests the relational model across three interrelated formalisms: Relational Algebra (RA), Relational Calculus (TRC/DRC), and SQL. Questions evaluate core semantic equivalences… Guide

Type

Topic guide

What does GATE test in Relational Model and SQL?

Core concepts

Relational Algebra fundamental operators: Selection, Projection, Cross Product, Set Difference, Union, Rename
Derived RA operators: Natural Join, Theta Join, Relational Division
Tuple Relational Calculus (TRC) and Domain Relational Calculus (DRC) syntax and quantifiers ( , )
Safe TRC expressions and domain independence
Relational Division and 'for all' universal quantification implementations
SQL nested subqueries: IN, ALL, ANY / SOME
SQL duplicate preservation vs. set semantics in relational algebra
SQL GROUP BY and nested aggregate functions (AVG of COUNT)
Selectivity and cardinality estimation under uniform distribution
Degree (Arity) of a relation
Cardinality of a relation instance
Relation schema vs. relation instance
Attribute domains and distinct domain sets
Tuples and attributes
Information representation (XML / semi-structured data)
Service-Oriented Architecture and computing (Publish-find-bind model)
Heterogeneous system communication (Interoperability)
Workflow and business process modeling (BPMN)

Recurring question patterns

Query Equivalence and Cross-Formalism Translation
common · MCQ · 2 marks · 2026, 2025, 2013
Given an English requirement or an expression in TRC/DRC/SQL, identifying the equivalent representation in Relational Algebra or another query language.
Table Instance Execution & Output Size Calculation
common · NAT · 2 marks · 2017, 2011
Given one or more relation tables, tracing the exact output tuples or computing numeric aggregates (e.g., COUNT, AVG, natural join cardinality, relational division output size).
Relational Division and 'Universal / For All' Semantics
common · MSQ · 1.5 marks · 2022, 2017, 2014
Identifying algebraic expressions or set-difference formulations ( $R - (R \times S - T)$ ) that correctly capture 'for all' requirements, or calculating division results.
SQL Subquery Semantics and Quantification (>ALL / >ANY / IN)
occasional · MCQ · 2 marks · 2017, 2014
Analyzing behavior of nested SQL queries with set membership (`IN`) or set comparisons (`>ALL`, `>ANY`), specifically testing empty set and duplicate handling.
Query Selectivity & Cardinality Estimation
occasional · NAT · 1 marks · 2021
Calculating the expected number of output tuples given uniform and independent attribute value distributions under compound boolean selection predicates.
Expressive Power and Operator Counting in Pure RA
occasional · MCQ · 2 marks · 2024
Determining the minimum number of primitive RA operators (like Cartesian products or self-joins) required to simulate non-aggregate constraints like 'at least $k$ ' occurrences.
Safety and Domain Independence of Calculus Expressions
rare · MCQ · 2 marks · 2017
Determining whether given TRC/DRC queries are safe (i.e., guaranteed to return a finite relation drawn strictly from the database domain).
Relational Terminology Identification
rare · MCQ · 1 marks · 2023
Direct conceptual questions asking for the definition or distinction between structural relational terms such as degree, arity, cardinality, domains, or tuples.
Match Domain Concepts to Solution Technologies
rare · MCQ · 1 marks · 2013
Matching conceptual problem areas (such as information representation, process workflows, computing architecture, or system communication) with standard industry paradigms/technologies (such as XML, BPMN, Publish-find-bind, or Interoperability).

Formulas GATE uses

Relational Division Definition via Fundamental Operators

R(A, B) \div S(B) = \Pi_A(R) - \Pi_A((\Pi_A(R) \times S) - R)

Used when rewriting or validating relational division in terms of projection, Cartesian product, and set difference.

Disjunctive Selection Selectivity (Independent Attributes)

P(C_1 \lor C_2) = P(C_1) + P(C_2) - (P(C_1) \cdot P(C_2))

Used to compute estimated result size for queries with OR conditions over independent attribute distributions.

Minimum Cross Products for k-element Comparison

\text{Minimum cross products} = k - 1

Used to find the minimum number of binary cross products needed to join $k$ instances of a relation for counting-based constraints in pure relational algebra.

SQL >ALL on Empty Set Identity

\text{val} > \text{ALL}(\emptyset) = \text{TRUE}

Used when evaluating SQL queries where a subquery referenced in an ALL comparison returns zero rows.

Degree (Arity) of a Relation

\text{Degree}(R) = |\text{Attributes}(R)|

Determining the arity or degree of a relation schema $R$ .

Cardinality of a Relation

\text{Cardinality}(R) = |\text{Tuples}(R)|

Determining the number of rows/tuples in an instance of relation $R$ .

Examiner traps in Relational Model and SQL

Assuming SQL joins preserve the exact duplicate semantics of an `IN (subquery)` without deduplicating the inner subquery table.
Forgetting that `> ALL (empty set)` evaluates to TRUE in SQL, rather than FALSE or NULL.
Overlooking that set difference A(R) - A( condition(R S)) expresses universal negation ('for all') rather than existential ('for some').
Confusing relational division divisor vs. quotient schemas (e.g., dividing by (Own) instead of the full universe (Brand)).
Forgetting that combining k relation instances requires k-1 binary Cartesian product operators, not k.
Neglecting duplicate elimination in Relational Algebra projections compared to SQL `SELECT` without `DISTINCT`.
Confusing degree (number of attributes/columns) with cardinality (number of tuples/rows).
Assuming the degree equals the number of distinct domains (multiple attributes can share the exact same underlying domain, e.g., sourcecity and destcity).
Confusing the total cell count (degree cardinality) with either degree or cardinality.
Confusing process description standards (e.g., BPMN) with data representation standards (e.g., XML/JSON).
Mixing architectural mechanisms (e.g., Publish-find-bind) with overarching requirements (e.g., Interoperability).

How questions are asked

Table trace to find aggregate value (NAT)
Table trace to count result tuples after subquery filters (NAT)
Match English query to equivalent SQL, RA, TRC, DRC expressions (MCQ)
Identify equivalent fundamental RA expressions for relational division (MSQ)
Count minimum operators required to express a query (MCQ)
Estimate result cardinality using selectivity probability (NAT)
Identify safe vs unsafe calculus expressions (MCQ)
definition recall MCQ
Match the following (Group I to Group II 4x4 mapping)

Paper trends

Shift from simple table tracing and SQL syntax evaluation towards deep algebraic identities, minimum operator bounds, and foundational TRC/DRC syntax matching.
2026, 2025, 2024, 2022, 2014, 2013, 2011
Adoption of NAT and MSQ question formats to test numerical tracing (aggregates, table rows, selectivity estimation) and multiple equivalent formulations of relational division.
2022, 2021, 2017
Direct textbook terminology was introduced as a 1-mark standalone MCQ testing precise relational definitions.
2023
Appeared as a 1-mark breadth-oriented matching MCQ bridging database data models (XML) and enterprise architecture concepts.
2013