Third Normal Form (3NF)
第三正規形は、第二正規形をさらに強化し、非主属性の候補キーへの推移的依存を排除する。
目的
推移的依存による冗長性と更新異常を排除する。多くの設計における到達目標である。
メカニズム
A→B→CかつBがAを決定しないとき、CはAに推移的に依存しており、B→Cは別テーブルに分割すべきである。例：student_id→dept_id→dept_nameでは、dept_nameはstudent_idに推移的に依存するため、Students(student_id, dept_id)とDepartments(dept_id, dept_name)に分割する。
ユースケース
- データベース設計
- テーブルの正規化
- 推移的な依存を取り除く（3NF）