SQL SQL In Depth
0%
lesson union intersect except

Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT

7 min read Module 1.3: Relational Algebra & Multi-Table Joins Updated Oct 26, 2026
📄 Cheat Sheet
Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT — Database Systems & SQL Architecture Lecture
freeCodeCamp / Cornell Database Systems Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT — Database Systems & SQL Architecture Lecture Watch on YouTube ↗

Builds first-principles mastery of Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT with concrete query execution trees, storage page layouts, and production tuning trade-offs.

0:00 / 4:23

1. First-Principles Mental Model & Relational Mechanics

Every SQL statement in Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT compiles down to a deterministic tree of relational algebra operators acting on physical pages in the buffer pool. At the logical layer, Combining vertical result sets, why UNION ALL avoids an expensive sort/hash deduplication pass, and set difference via EXCEPT. Rather than mutating global variables imperatively, declarative SQL specifies the mathematical properties of the desired output relation while delegating physical access path selection to the cost-based query optimizer.

When the database engine processes set-operations-union-intersect-except within Relational Algebra & Multi-Table Joins, it enforces strict invariants over tuple domains, attribute visibility, and I/O page budgets. Understanding the boundary between logical relational semantics (what rows qualify) and physical execution (whether the engine performs a sequential heap scan, a B+Tree range seek, or an in-memory hash probe) is the defining skill of a Staff Database Engineer.

Formal Relational & Cost Invariant — Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT

Let relation RR contain NN tuples stored across BB physical 8KB pages (B≈⌈N/tuples_per_page⌉B \approx \lceil N / \text{tuples\_per\_page} \rceil). Evaluating Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT maintains the relational closure and I/O cost bound:

CostI/O(R)=Bseq⋅cseq+log⁡F(N)⋅crandom,σθ(πA(R))⊆Dom(A)\text{Cost}_{\text{I/O}}(R) = B_{\text{seq}} \cdot c_{\text{seq}} + \log_{F}(N) \cdot c_{\text{random}}, \quad \sigma_{\theta}(\pi_{A}(R)) \subseteq \text{Dom}(A)

Where F≈250–500F \approx 250\text{--}500 is the B+Tree page fanout, σθ\sigma_{\theta} denotes Three-Valued Logic predicate selection over union, and πA\pi_{A} projects the target attribute schema without violating domain constraints.

2. Database Table Schema, Execution Pipeline & Visual Architecture

Tracing how Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT flows through the parser, catalog binder, cost-based optimizer, and physical executor reveals exactly where latency and cardinality bugs originate:

  • Stage 1 — Lexical Parsing & Catalog Binding (union): The SQL parser builds an Abstract Syntax Tree (AST) and resolves every relation, column identifier, and data type against system catalog tables (such as pg_class, pg_attribute, or sqlite_master).
  • Stage 2 — Logical Rewrite & Algebraic Simplification (intersect): The planner normalizes predicates, pushes selective filters as close to the storage scan as possible, and verifies whether Three-Valued NULL semantics permit subquery unnesting or join elimination.
  • Stage 3 — Cost Estimation & Physical Operator Selection (except): Using histogram boundaries, Most Common Values (MCV), and Number of Distinct Values (NDV), the optimizer selects the minimum-cost physical plan and streams tuples through the execution pipeline.
Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT — Relational Table & Key Constraint Diagram Module M03 · PK/FK Referential Join · 3VL Predicate Selection (union / intersect) TABLE customers (Parent) PK customer_id name tier 1 Aravind ent 2 Elena pro 7 Chloe std UNIQUE(email) · NOT NULL TABLE orders (Child FK) PK order_id FK cust_id total_cents 1001 1 105000 1002 2 42000 1005 4 21000 (filtered) ON cust_id = c.customer_id PROJECTED OUTPUT name order usd Aravind 1001 $1050 Elena 1002 $420 Chloe NULL $0.00 3VL NULL-Safe Output
erDiagram CUSTOMERS ||--o{ ORDERS : "places (customer_id)" ORDERS ||--|{ ORDER_ITEMS : "contains (order_id)" PRODUCTS ||--o{ ORDER_ITEMS : "referenced_by (product_id)" CUSTOMERS { int customer_id PK text email UK text name text tier text country } ORDERS { int order_id PK int customer_id FK text status int total_cents text discount_code } ORDER_ITEMS { int order_item_id PK int order_id FK int product_id FK int quantity int unit_price_cents }

3. Interactive Table-Level & Storage Engine Simulator

Use the interactive simulator below to step through Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT at the tuple and page level. Observe how input rows, intermediate filter/join states, NULL badges, and physical page reads evolve at each step:

Semi-Join (EXISTS), Anti-Join (NOT EXISTS) & The NOT IN (NULL) Outage Simulator
Anti-Join ▷ / 3VL

See why a single NULL inside NOT IN (SELECT ...) collapses the entire query result set to 0 rows via Three-Valued Logic, and how NOT EXISTS short-circuits safely.

Step 1 / 6
Custom Input:
Timeline

Invariant & State

Relation initialized with 4 tuples across schema (user_id, email, subquery_probe, 3vl_expansion, emitted) — preset: NOT IN with Poison NULL Row (0 Rows Returned!).
📊 Live Magnitude & Pointer Stage — Semi-Join (EXISTS), Anti-Join (NOT EXISTS) & The NOT IN (NULL) Outage Simulator Active Pivot Match/Sorted
Tuple # 10:10 … [0] 20:20 … [1] 30:30 … [2] 40:40 … [3]
📋 Semi-Join (EXISTS), Anti-Join (NOT EXISTS) & The NOT IN (NULL) Outage Simulator — Initial Relation State 4 row(s)
user_idemailsubquery_probe3vl_expansionemittedState
10ada@ analytical.io10 <> 10 (FALSE)FALSENOCURSOR START
20[email protected]20 <> 10 AND 20 <> NULLUNKNOWNNO (Dropped by NOT IN!)
30[email protected]30 <> 10 AND 30 <> NULLUNKNOWNNO (Dropped by NOT IN!)
40[email protected]40 <> 10 AND 40 <> NULLUNKNOWNNO (Dropped by NOT IN!)
[0]10:10 <> 10 (FALSE)Tuple #0
[1]20:20 <> 10 AND 20 <> NULL
[2]30:30 <> 10 AND 30 <> NULL
[3]40:40 <> 10 AND 40 <> NULL
Input Tuples
4
Columns
5
Preset Mode
notin_bug
Pipeline Stage
1. Initial Scan
[Step 1] Initialized Semi-Join (EXISTS), Anti-Join (NOT EXISTS) & The NOT IN (NULL) Outage Simulator (NOT IN with Poison NULL Row (0 Rows Returned!)) with 4 base rows.

4. Live WASM SQL Lab, Clause-by-Clause Visualizer & Automated Test Checker

Execute, edit, and test the production SQL query below directly in your browser using the embedded WebAssembly SQLite 3 engine. Click ▶ Run Query to execute, 🔍 Step Clauses to inspect the live intermediate table after FROM/JOIN, WHERE, GROUP BY, HAVING, WINDOW, SELECT, and ORDER BY, or ✓ Check SQL Tests to run automated relational assertions against the reference result:

SQL · WASM12 lines
-- Dataset: org_hr | Self-Join: Employee-to-Manager Reporting Pairs & Compensation Ratio
SELECT
  e.emp_id,
  e.name AS employee_name,
  e.title AS employee_role,
  e.salary_usd AS employee_salary,
  COALESCE(m.name, 'BOARD_ROOT') AS manager_name,
  m.salary_usd AS manager_salary
FROM employees AS e
LEFT JOIN employees AS m
  ON m.emp_id = e.manager_id
ORDER BY e.salary_usd DESC;

5. Cross-Engine Dialect & Cost Comparison Matrix

While the SQL ISO standard defines the logical behavior of Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT, production storage engines differ in how they execute, lock, and index the underlying tuples:

Database Engine Primary Storage & Access Mechanism I/O & CPU Complexity Production Caveat for Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT
PostgreSQL 17 Heap Tuple Store (ctid) + B-Tree / GIN / BRIN + MVCC (xmin/xmax) O(log⁡BN)O(\log_B N) seek / O(N)O(N) scan Requires ANALYZE statistics and Visibility Map bits for Index-Only Scans.
SQLite 3.46 (WASM) B+Tree Table (rowid clustered) + Covering Secondary B-Trees O(log⁡BN)O(\log_B N) B+Tree traversal Runs in-process with zero network RTT; inspect EXPLAIN QUERY PLAN for USE TEMP B-TREE.
MySQL 8.4 (InnoDB) Clustered Primary Key B+Tree + Undo Log Rollback Segments O(log⁡BN)O(\log_B N) PK / $2 \times O(\log_B N)$ Secondary Secondary indexes store the Primary Key value; wide PKs amplify secondary index footprint.
DuckDB / ClickHouse Columnar Vectorized Chunks + Zone Maps (Min/Max Skipping) O(N/SIMD_Width)O(N / \text{SIMD\_Width}) vectorized scan Excels at wide analytical scans and aggregations; avoid single-row OLTP point mutations.

6. Live Verification, Catalog Introspection & Execution Plan Lab (SQL)

To verify how a production database engine executes Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT across edge-case rows, run or modify the second live SQL verification query below. Inspect how GROUP BY buckets, window partitions, and Three-Valued NULL guards behave in real time:

SQL · WASM26 lines
-- Dataset: org_hr | Live Verification & Departmental Window Audit (set-operations-union-intersect-except)
WITH dept_rollup AS (
  SELECT
    d.dept_id,
    d.name AS dept_name,
    COUNT(e.emp_id) AS staff_count,
    ROUND(AVG(e.salary_usd), 0) AS avg_salary_usd,
    MAX(e.salary_usd) AS top_salary_usd,
    SUM(e.salary_usd) AS total_payroll_usd,
    d.annual_budget_usd
  FROM departments AS d
  LEFT JOIN employees AS e
    ON e.dept_id = d.dept_id
  GROUP BY d.dept_id, d.name, d.annual_budget_usd
)
SELECT
  dept_id,
  dept_name,
  staff_count,
  avg_salary_usd,
  top_salary_usd,
  total_payroll_usd,
  ROUND((total_payroll_usd * 100.0) / annual_budget_usd, 1) AS budget_utilization_pct
FROM dept_rollup
WHERE staff_count >= 1
ORDER BY total_payroll_usd DESC;

7. Production Failure Modes, Anti-Patterns & Staff Tuning Checklist

Production Pitfall & SEV-1 Outage Pattern

The most common production failure in Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT occurs when a query passes functional unit tests on a 50-row local fixture but degrades into an O(N2)O(N^2) loop, an unindexed full-table scan, or a silent NULL data-drop once table cardinality crosses 10710^7 rows. Always verify both NULL boundary rows and physical buffer reads before deploying to production.

  • Verify Execution Plans Early: Never guess what the planner will do—run EXPLAIN QUERY PLAN (SQLite) or EXPLAIN (ANALYZE, BUFFERS) (PostgreSQL) and confirm that estimated row counts match actual row counts within 2×2\times.
  • Guard Against Three-Valued NULL Traps: Audit every NOT IN, outer-join WHERE filter, and aggregate AVG/COUNT(col) expression for nullable columns; prefer NOT EXISTS and explicit COALESCE defaults.
  • Keep Predicates SARGable: Never wrap an indexed column in a function, arithmetic expression, or implicit type cast on the left-hand side of a comparison operator.
  • Bound Memory & Lock Scope: Ensure sorting, hashing, and batch mutations operate within bounded memory budgets (work_mem) and hold row/table locks for the shortest possible duration.
Check yourself Question 1 of 4
Concept Check Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT — Core Relational Invariant recall

Which statement accurately characterizes the primary mechanism and guarantee of Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT?

Interactive 3-Step Guided SQL Lab & Step-by-Step Table Visualizer (PostgreSQL 18 WASM & SQLite 3 WASM) 3 Guided Steps + Progressive Hints

Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT — Interactive Guided SQL Lab

Combining vertical result sets, why UNION ALL avoids an expensive sort/hash deduplication pass, and set difference via EXCEPT.

⏱ Target Time: O(N) scan / O(log_B N) indexed 💾 Auxiliary Space: O(1) streaming tuple state 🧭 Pattern: Relational Algebra & Multi-Table Joins 🗄️ Dataset: org_hr
01 Phase 1 · Base Relation & SARGable Predicate
Base Relation Scan & SARGable Filter (org_hr)
Establish the base relation scan in org_hr for Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT with a SARGable predicate and explicit Three-Valued Logic NULL handling.
Run or edit query.sql to inspect the base table tuples, verify SARGable index filtering in the WHERE clause, and step through the live Table Visualizer.
💡 Progressive SQL Hint (Step 1)
SELECT emp_id, name, title, dept_id, manager_id, salary_usd, hired_at FROM employees WHERE salary_usd >= 170000 ORDER BY salary_usd DESC LIMIT 10;
02 Phase 2 · Relational Join, Aggregation & 3VL Guard
Relational Join, Grouping & NULL-Safe Aggregation
Combine normalized tables via explicit JOIN conditions and fold group buckets or window partitions without losing NULL boundary rows.
Run or refine the Step 2 relational join and aggregation query in query.sql, then click 🔍 Step Clauses to inspect each intermediate table.
💡 Progressive SQL Hint (Step 2)
-- Dataset: org_hr | Live Verification & Departmental Window Audit (set-operations-union-intersect-except)
WITH dept_rollup AS (
  SELECT
    d.dept_id,
    d.name AS dept_name,
    COUNT(e.emp_id) AS staff_count,
    ROUND(AVG(e.salary_usd), 0) AS avg_salary_usd,
    MAX(e.salary_usd) AS top_salary_usd,
    SUM(e.salary_usd) AS total_payroll_usd,
    d.annual_budget_usd
  FROM departments AS d
  LEFT JOIN employees AS e
    ON e.dept_id = d.dept_id
  GROUP BY d.dept_id, d.name, d.annual_budget_usd
)
SELECT
  dept_id,
  dept_name,
  staff_count,
  avg_salary_usd,
  top_salary_usd,
  total_payroll_usd,
  ROUND((total_payroll_usd * 100.0) / annual_budget_usd, 1) AS budget_utilization_pct
FROM dept_rollup
WHERE staff_count >= 1
ORDER BY total_payroll_usd DESC;
03 Phase 3 · Production Query & Plan Verification
Production Query & Execution Plan Verification (Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT)
Verify final column projections, ordering, and physical B+Tree access paths via EXPLAIN QUERY PLAN and automated relational assertions.
Execute the complete production query in query.sql and click ✓ Check SQL Assertions to verify schema alignment, row cardinality, and tuple equivalence.
💡 Progressive SQL Hint (Step 3)
-- Dataset: org_hr | Self-Join: Employee-to-Manager Reporting Pairs & Compensation Ratio
SELECT
  e.emp_id,
  e.name AS employee_name,
  e.title AS employee_role,
  e.salary_usd AS employee_salary,
  COALESCE(m.name, 'BOARD_ROOT') AS manager_name,
  m.salary_usd AS manager_salary
FROM employees AS e
LEFT JOIN employees AS m
  ON m.emp_id = e.manager_id
ORDER BY e.salary_usd DESC;

Key Takeaways

Set Operations: UNION vs UNION ALL, INTERSECT & EXCEPT (set-operations-union-intersect-except): Combining vertical result sets, why UNION ALL avoids an expensive sort/hash deduplication pass, and set difference via EXCEPT.
Always separate logical SQL semantics (FROM -> WHERE -> GROUP BY -> HAVING -> WINDOW -> SELECT -> ORDER BY -> LIMIT) from the physical execution plan chosen by the cost-based optimizer.
Audit every predicate and join condition for Three-Valued Logic (NULL -> UNKNOWN) edge cases and verify SARGability so B+Tree indexes can perform O(log_B N) range seeks.
Use EXPLAIN QUERY PLAN / EXPLAIN (ANALYZE, BUFFERS) to inspect physical scan operators, join algorithms, and temporary sort/hash spills before shipping queries to production.
Was this lesson helpful? Spot an issue or have a suggestion? Let us know on GitHub.
Report an issue