第3正規形

データの重複を極限まで排除し、更新時の一貫性を保証するための重要な設計段階である。

1. 推移的関数従属の排除：主キーによって決まる項目（B）があり、さらにその項目によって別の項目（C）が決まる関係を解消する。例えば「社員番号→所属コード→所属名」という関係がある場合、所属名を社員テーブルに残すと、所属名が変わった際に全社員のレコードを更新しなければならず、ミスが生じるリスクがある。

2. 更新異常の防止：所属コードに対応する所属名を一箇所（別テーブル）で管理することで、情報の修正漏れを防ぐことが可能になる。

3. 実務での意義：実際のシステム開発では、この第3正規形まで整理することが「データの正確性」を保つための標準的な作法である。正規化しすぎると検索時の結合処理（JOIN）が増えて速度が低下する場合もあるが、まずはこの形を目指すのが基本である。