Module outline:📋 Module Topics🎯 Student Learning Outcomes
COP4708

Module 5 – Advanced Normal Forms: BCNF, 4NF, and 5NF

This module extends database normalization theory beyond Third Normal Form, introducing Boyce-Codd Normal Form (BCNF), Fourth Normal Form (4NF), and Fifth Normal Form (5NF). Learners will explore the limitations of 3NF, detect and resolve higher-order dependency violations, and apply decomposition strategies to complex, real-world schemas.

Module Artifacts

Module Topics .json

This file outlines the topics covered in the module—including 3NF limitations, BCNF definition and violation detection, comparisons between normal forms, and higher normal forms such as 4NF and 5NF—serving as a navigational overview for learners and instructors to understand the module's scope and sequence.

Presentation .pptx

A slide deck covering advanced normalization beyond 3NF — including BCNF, 4NF, and 5NF definitions, motivations, and decomposition strategies — used by instructors to deliver the module's core lecture content.

Topic Detail .html

A reading that explains the formal definition of 3NF, its role in eliminating common redundancy and anomalies, and the specific limitations (such as anomalies caused by overlapping candidate keys) that motivate stricter normal forms; learners read it as foundational context before studying BCNF.

Topic Detail .html

A reading that defines Boyce-Codd Normal Form, explains how it tightens 3NF by requiring every functional dependency's determinant to be a superkey, and walks through examples of detecting and correcting BCNF violations; learners use it to understand when and how to apply BCNF decomposition.

Topic Detail .html

A reading that directly compares 3NF and BCNF — their definitions, the scenarios where they differ, the trade-offs between lossless decomposition and dependency preservation, and guidance on choosing between them; learners use it to decide which normal form is appropriate for a given schema.

Topic Detail .html

A reading that introduces multivalued dependencies, explains why BCNF cannot detect the redundancy they cause, defines Fourth Normal Form (4NF), and demonstrates how to decompose relations to eliminate multivalued dependency violations; learners use it to extend their normalization skills beyond functional dependencies.

Topic Detail .html

A reading that introduces join dependencies, explains why 4NF cannot address the redundancy they produce, defines Fifth Normal Form (5NF / Project-Join Normal Form), and illustrates how to identify and decompose relations with non-trivial join dependencies; learners use it to understand the most advanced standard normalization level.

Topic Detail .html

A reading that walks through end-to-end case studies of normalizing complex, real-world-style schemas through 3NF, BCNF, 4NF, and 5NF in sequence, offering practical decision-making guidance for each step; learners use it to practice applying all higher normal forms together on multi-table schemas.

Text Content .html

A reading that walks through end-to-end case studies of normalizing complex, real-world-style schemas through 3NF, BCNF, 4NF, and 5NF in sequence, offering practical decision-making guidance for each step; learners use it to practice applying all higher normal forms together on multi-table schemas.

Topics & Learning Outcomes

View Topics & Learning Outcomes