Review of 3NF and Its Limitations

Introduction

Third Normal Form is the design target most students meet first, and for good reason: a relation in 3NF has no partial dependencies and no transitive dependencies on non-prime attributes, which removes most of the update, insertion, and deletion anomalies that plague unnormalized tables. But 3NF contains a deliberate loophole. Its definition forgives a functional dependency when the attribute on the right-hand side is prime — that is, part of some candidate key — even if the determinant on the left is not a superkey. That exception is where redundancy can survive normalization.

In this topic we revisit the 3NF definition carefully and then push on that loophole. The classic trouble case involves overlapping candidate keys: when two or more candidate keys share attributes, a non-superkey determinant can legitimately exist inside a 3NF relation, and repeated facts (along with the anomalies they cause) come back. We also look at the trade-off that motivated the loophole in the first place, because 3NF decomposition can always be made both lossless and dependency-preserving, while stricter forms sometimes force you to give up dependency preservation.

As you watch, keep three questions in front of you. First, for each functional dependency shown, is the left-hand side a superkey, and if not, why does 3NF still allow it? Second, where exactly does the redundancy appear in the sample rows, and what anomaly would it cause on insert, update, or delete? Third, what is given up when a relation is decomposed further — can every original dependency still be checked within a single resulting table? Those questions carry directly into BCNF, 4NF, and 5NF later in the module.

Video 1: Lec-33: All Normal Forms with Real life examples | 1NF 2NF 3NF BCNF 4NF 5NF | All in One

Gate Smashers · 11:15 · 2,626,103 views · 5y ago · captions — Watch on YouTube

About this video

A fast, example-driven tour through the full normalization ladder, from 1NF through 2NF, 3NF, BCNF, and on to 4NF and 5NF, using small real-life style tables. Based on its title and description, it defines each form in sequence and shows the specific condition that moves a relation from one level to the next, including the superkey requirement that separates 3NF from BCNF.

Why this video

Because it presents all the forms in one continuous narrative, it is an efficient way to refresh 3NF while immediately seeing what lies beyond it, which is exactly the framing this topic needs. Gate Smashers is a widely used exam-preparation channel known for crisp, definition-first explanations.

Video 2: Learn Boyce-Codd Normal Form (BCNF)

Decomplexify · 13:37 · 178,464 views · 4y ago · captions — Watch on YouTube

About this video

A focused treatment of Boyce-Codd Normal Form that, per its description, explicitly explains how BCNF improves upon Third Normal Form. Expect a worked schema where 3NF is satisfied yet a non-superkey determinant remains, followed by the stricter BCNF rule that every determinant must be a superkey and the decomposition that enforces it.

Why this video

This is the most directly on-topic video for the prime-attribute exception, overlapping candidate keys, and the redundancy that survives 3NF. Decomplexify is well regarded for slow, example-led explanations with accompanying notes, which suits a conceptual edge case like this one.

Video 3: Database Normalization: What and Why

Kevin Feasel · 15:41 · 2,442 views · 2y ago · captions — Watch on YouTube

About this video

A conceptual overview of what database normalization is and why it matters to working data professionals, including the presenter's own ranking and commentary on the normal forms. It is likely to emphasize the purpose behind the rules — reducing redundancy and anomalies — rather than drilling mechanical decomposition steps.

Why this video

It supplies the "why bother going further" perspective that motivates moving past 3NF, and its practitioner framing helps you weigh design trade-offs rather than memorizing definitions.

How These Videos Support the Learning Outcomes

Together these videos rebuild the 3NF baseline and then expose its gap. The BCNF-focused video supports MO1 directly by training you to test whether each functional dependency's determinant is a superkey, and it models the lossless decomposition required by MO2. The all-in-one survey previews 4NF and 5NF so the multivalued and join-dependency ideas behind MO3 and MO5 are already on your radar before the module formally introduces them. The conceptual overview reinforces MO4 by keeping the cost side of normalization — dependency preservation, query complexity, and practical design judgment — in view while you evaluate whether a given schema should stop at 3NF or go to BCNF.

About These Videos

These videos were chosen from YouTube on October 2, 2026. Each has captions; the player turns them on. Videos on YouTube can be changed or removed — if one no longer plays, tell your instructor. If a player does not appear, use its Watch on YouTube link.