0 · Recall Warm-up
Answer from memory first. Answers are in the Answer Vault at the bottom.
- State the BCNF condition. from Lesson 4.4.4
- State the 3NF condition. from Lesson 4.4.3
- How do you find attributes that must be in every key? from Lesson 4.2.3
1 · The Hook
"Consider R(A, B, C, D, E) with the FDs … The highest normal form of R is (A) 1NF (B) 2NF (C) 3NF (D) BCNF." This exact question appears in GATE almost every year. This lesson is a drill: one fixed procedure, then six relations solved with it.
2 · Predict First
R(A, B, C, D) with F = {AB → C, B → D}. Highest normal form?
Make a guess in your head. The answer opens Section 3.
3 · Core Concept
Predict First — the answer
Key AB. B → D: B is a proper subset of the key, D non-prime → partial dependency → 1NF.
The procedure (always the same)
- Keys: find all candidate keys (closure; never-on-right attributes first).
- Prime set: union of all keys.
- Split every FD into single right sides; ignore trivial ones.
- Classify each FD X → A:
- X superkey → ✔ BCNF
- else A prime → ✔ 3NF, ✘ BCNF
- else X ⊂ some candidate key (proper subset) → ✘ 2NF
- else → ✔ 2NF, ✘ 3NF
- Answer = the lowest level any FD reaches.
Always use the FDs given (or a minimal cover). An FD that is derivable (in F⁺) and violates a form also counts, but in practice the given FDs reveal any violation, because a violating derived FD implies a violating given one.
Drill table (all verified by computing closures)
| # | R | F | Keys | Worst FD | Highest NF |
|---|---|---|---|---|---|
| 1 | ABCD | AB → C, B → D | AB | B → D (partial) | 1NF |
| 2 | ABCD | A → B, B → C, C → D | A | B → C (transitive) | 2NF |
| 3 | ABCD | AB → C, C → D, D → A | AB, BC, BD | C → D (prime RHS) | 3NF |
| 4 | ABC | A → B, B → C, C → A | A, B, C | none | BCNF |
| 5 | ABCDE | AB → C, C → D, D → B, D → E | AB, AC, AD | D → E (partial: D ⊂ AD) | 1NF |
| 6 | ABCDE | A → B, BC → E, ED → A | ACD, BCD, CDE | A → B (prime RHS) | 3NF |
| 7 | ABCDEF | A → B, B → C, C → A, D → E | ADF, BDF, CDF | D → E (partial) | 1NF |
| 8 | ABCDE | A → B, B → A, C → D, D → C | ACE, ADE, BCE, BDE | A → B (prime RHS) | 3NF |
Shortcuts
- One single-attribute key, and no FD whose left side is a non-key → BCNF.
- All attributes prime → at least 3NF; then check left sides for BCNF.
- An FD from part of a key to a non-prime attribute → stop: 1NF.
4 · Visual
Drill #6: R(ABCDE) A->B, BC->E, ED->A
never on right: C, D CD+ = CD
try CD + one: ACD+ = ACDBE ✓ BCD+ = BCDEA ✓ CDE+ = CDEAB ✓
keys: ACD, BCD, CDE -> prime = A,B,C,D,E (all)
A->B A not superkey, B prime -> 3NF ok, BCNF ✗
BC->E not superkey, E prime -> 3NF ok
ED->A not superkey, A prime -> 3NF ok highest: 3NF
5 · Worked Examples
Example 1 Easy
R(A, B, C) with F = {A → B, A → C}. Highest NF?
Solution
Key A; every left side is A → BCNF.
Example 2 Medium
R(A, B, C, D, E) with F = {A → B, B → C, CD → E} (key AD). Highest NF?
Solution
Non-prime: B, C, E. A → B: A ⊂ AD, B non-prime → partial → 1NF.
Example 3 GATE
R(A, B, C, D, E, F) with F = {AB → C, C → D, D → E, E → F, F → A}. Highest NF?
Solution
Keys AB, BC, BD, BE, BF: every attribute is prime → at least 3NF. C → D: C⁺ = CDEFA, not a superkey → not BCNF. 3NF.
6 · GATE Traps
- Find all keys before deciding what is prime.
- A partial dependency drops the answer straight to 1NF, even if other FDs are fine.
- "Not 3NF" does not mean "1NF": check whether the violation is partial or transitive.
- Split right sides first: AB → CD may hide a violation in only one part.
7 · Memory Hook
"Keys, Primes, Split, Sort, Lowest wins."
8 · Connect the Dots
Lessons 4.4.1–4.4.4 defined the forms; this lesson drilled the decision. Next: the algorithms that produce good designs: 3NF synthesis and BCNF decomposition.
9 · Self-Test
GATE format. Try every question before opening the vault.
Q1 · MCQ · 1 mark(s) — Drill
R(A, B, C, D) with F = {A → BCD}. Highest NF?
- (A) 1NF
- (B) 2NF
- (C) 3NF
- (D) BCNF
Q2 · MCQ · 2 mark(s) — Drill
R(A, B, C, D, E) with F = {AB → CDE, D → E}. Highest NF?
- (A) 1NF
- (B) 2NF
- (C) 3NF
- (D) BCNF
Q3 · MCQ · 2 mark(s) — Drill
R(A, B, C, D) with F = {AB → C, C → A, BC → D}. Highest NF?
- (A) 1NF
- (B) 2NF
- (C) 3NF
- (D) BCNF
Q4 · MCQ · 2 mark(s) — Drill
R(A, B, C, D) with F = {A → B, C → D}. Highest NF?
- (A) 1NF
- (B) BCNF
- (C) 3NF
- (D) 2NF
Q5 · NAT · 2 mark(s) — Drill
R(A, B, C, D, E) with F = {A → B, B → A, C → D, D → C}. How many candidate keys does R have? (Every attribute turns out prime, so R is in 3NF.)
Numerical answer: ________
10 · Rule Card
- Procedure: keys → prime set → split FDs → classify each (superkey / prime RHS / partial / transitive) → lowest level wins.
- Partial dependency on a non-prime → 1NF. Transitive only → 2NF. Only prime-RHS non-superkey FDs → 3NF. All left sides superkeys → BCNF.
- All attributes prime → at least 3NF.
11 · Concept Ledger
Unlocked in this lesson. From here on, these terms may be used.
highest normal form drillFD classification (superkey, prime RHS, partial, transitive)
12 · Answer Vault
Reveal answers when you’re ready
Recall Warm-up
- Every non-trivial X → A has X a superkey.
- X superkey or A prime, for every non-trivial X → A.
- They never appear on any right side.
Self-Test
Q1 Answer: (D) · 1 mark(s)
Only left side is the key A.
- (A) is wrong: Higher.
- (B) is wrong: Higher.
- (C) is wrong: Higher.
Re-read: Lesson 4.4.5 — Drill: highest normal form of a given relation
Q2 Answer: (B) · 2 mark(s)
Key AB. D → E: D is not part of a key, E non-prime → transitive (3NF violation), no partial dependency.
- (A) is wrong: No partial dependency.
- (C) is wrong: D → E violates 3NF.
- (D) is wrong: Not 3NF.
Re-read: Lesson 4.4.5 — Drill: highest normal form of a given relation
Q3 Answer: (C) · 2 mark(s)
Keys AB and BC. Prime: A, B, C. C → A: C not a superkey, A prime → 3NF ok, not BCNF. BC → D: BC superkey.
- (A) is wrong: No partial dependency on a non-prime.
- (B) is wrong: All FDs pass 3NF.
- (D) is wrong: C → A fails BCNF.
Re-read: Lesson 4.4.5 — Drill: highest normal form of a given relation
Q4 Answer: (A) · 2 mark(s)
Key AC. A → B: part of key → non-prime: partial.
- (B) is wrong: No.
- (C) is wrong: No.
- (D) is wrong: Partial dependency exists.
Re-read: Lesson 4.4.5 — Drill: highest normal form of a given relation
Q5 Answer: 4 · 2 mark(s)
E plus one of {A, B} plus one of {C, D}: ACE, ADE, BCE, BDE.
Re-read: Lesson 4.4.5 — Drill: highest normal form of a given relation