Fourth Normal Form (4NF)
第四正規形は、BCNFをさらに強化し、自明でない多値依存（MVD）を排除して、多値属性の冗長性を防ぐ。
目的
多値依存による多対多の冗長性に対処し、よりきれいなテーブル構造を設計する。
メカニズム
A→→BとA→→C（多値依存）が成り立ち、BとCが独立な場合、(A,B)と(A,C)に分割する。例：teacher→→coursesとteacher→→skillsでは、分割によりcourses×skillsのデカルト冗長性を避けられる。
ユースケース
- データベース設計
- 多値依存（MVD）への対処
- より高度な正規化（4NF）