Multivalued Dependencies and Fourth Normal Form (4NF)

Introduction

Functional dependencies drive normalization up through Boyce-Codd Normal Form, but they do not capture every kind of redundancy. A multivalued dependency (MVD) arises when one attribute determines a set of values for another attribute independently of the rest of the relation. The classic symptom is a table that stores two unrelated repeating facts about the same key — for example, an instructor's courses and the instructor's assigned textbooks or hobbies — forcing you to store every combination of the two sets. The table can be in BCNF (its only functional dependency may be the trivial one on the full key) and still be full of repeated rows that cause update anomalies.

Fourth Normal Form addresses exactly this situation. A relation is in 4NF if it is in BCNF and, for every nontrivial multivalued dependency X ->> Y, X is a superkey. The repair is decomposition: split the relation so each independent multivalued fact lives in its own table, which by Fagin's theorem produces a lossless join. In this course, 4NF sits between BCNF and 5NF in the sequence you will apply to a complete schema design, so you need to recognize when functional dependency analysis alone has stopped being enough.

As you watch the videos below, focus on three things: how an MVD is stated and how it differs from a functional dependency, what the sample table looks like before and after decomposition, and whether the join of the decomposed tables reproduces the original rows exactly. Also note where presenters disagree about how often 4NF matters in practice — that debate is part of the trade-off discussion for this topic.

Video 1: Database Normalization: Fourth Normal Form

Kevin Feasel · 11:06 · 808 views · 2y ago · captions — Watch on YouTube

About this video

A focused eleven-minute treatment of Fourth Normal Form that defines the normal form and works through why multivalued dependencies create problems a BCNF schema cannot fix. The presenter also offers an opinion on the relative practical importance of 4NF versus 5NF, which frames the trade-off conversation. Expect example relations showing the combinatorial row explosion that MVDs produce.

Why this video

This is the only video in the set devoted entirely to 4NF, so it gives the deepest coverage of the definition, violation detection, and decomposition steps, plus an explicit take on practical considerations.

Video 2: 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 rapid survey of the entire normalization ladder — 1NF, 2NF, 3NF, BCNF, 4NF, and 5NF — illustrated with real-life examples in a single lecture. The 4NF segment shows how a multivalued dependency appears in a sample table and how splitting the relation removes the repeated combinations. The surrounding segments place 4NF in sequence after BCNF.

Why this video

Gate Smashers is a widely used DBMS lecture channel, and this heavily viewed video is useful for seeing 4NF in context with the forms before and after it, which supports the sequential-normalization work in this module.

Video 3: Database Normalization: 1NF to 5NF in Plain English

Database Star · 16:15 · 8,915 views · 10mo ago · captions — Watch on YouTube

About this video

Database Star walks through normalization from 1NF to 5NF in plain language, with chapter markers that let you jump straight to the Fourth Normal Form section around the 12:36 mark. The explanation emphasizes everyday wording over formal notation, then applies each rule to a worked example schema. Boyce-Codd Normal Form is covered immediately before 4NF, so the contrast between the two is easy to follow.

Why this video

The plain-English framing and timestamped chapters make it an efficient review or a gentler second pass, and the back-to-back BCNF and 4NF segments directly reinforce why BCNF alone leaves MVD redundancy in place.

How These Videos Support the Learning Outcomes

Together these videos reinforce the module outcomes most tied to multivalued dependencies. The Kevin Feasel video supports MO3 by defining MVDs and contrasting them with functional dependencies, and MO2 by demonstrating lossless decomposition into 4NF projections; its commentary on 4NF versus 5NF importance feeds the trade-off reasoning in MO4. The Gate Smashers and Database Star surveys cover BCNF immediately before 4NF, helping you practice the superkey test central to MO1 and giving you the full ordered pipeline — BCNF, then 4NF, then 5NF — that MO5 asks you to apply to a complete multi-relation schema.

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.