完全関数従属

ある属性が主キー全体に対して関数的に従属している状態。複合キーの場合、キーの一部分だけでは決まらず、キー全体が揃って初めて値が一意に定まる関係を指す。

属性YがXに関数従属し、かつXのいかなる真部分集合にも関数従属しない状態。第2正規形の条件であり、複合キーの一部にのみ従属する部分関数従属と区別される。

複数の属性からなる候補キーの一部だけで、非キー属性が決まってしまう関数従属。例えば、{受注番号, 商品番号}がキーの表で、商品番号だけから商品名が決まる場合が当たる。部分関数従属があると同じ商品名が何度も現れて更新時異状の原因になるので、第2正規形への正規化で別の表に分離する。

X→Y、Y→Zが成り立ち、YからXが決まらないときに、XからZがYを介して間接的に決まる関数従属。例えば、社員番号→部署コード→部署名の関係で、部署名が社員番号に推移的に従属する場合が当たる。非キー属性が他の非キー属性に従属している状態なので、第3正規形への正規化で部署の表を分離する。

関係データベースの表を、関数従属性に基づいて分解し、データの重複を排除する設計手法。更新、挿入、削除のときに生じる不整合（更新時異状）を防ぐ。段階として第1正規形から第3正規形、ボイスコッド正規形などがある。

表のすべての列の値が、それ以上分解できない単一の値（原子値）であり、繰返し項目を含まない状態。非正規形の表から繰返しのグループを取り除き、1つのセルに1つの値だけが入るようにして得る。

第2正規形であり、かつ主キー以外の列が、主キーに推移的に関数従属していない状態。主キー以外の列によって値が決まる列（推移的関数従属）を別の表に分離して得る。実務のデータベース設計では、多くの場合この段階まで正規化する。

スタースキーマのディメンションテーブルを正規化し、商品→商品分類→大分類のように階層ごとの表に分割した構造。データの重複が減り、マスタの更新や整合性の維持がしやすい反面、問合せで結合する表が増えて、集計の性能や分かりやすさはスタースキーマに劣る。