ER 図と正規化を、身近な例と厳密な定義で。

正規化されていないテーブルでは、同じ事実を複数の行に重複して持つために、挿入・更新・削除の各操作で矛盾や情報損失が発生する。この「更新時異常」を体系的に排除するのが正規化の目的である。

属性 X の値が決まると属性 Y の値も一意に決まる関係を関数従属という。この概念は 1NF〜3NF、BCNF まで正規化の全ステップの判定基準になる。部分関数従属・推移関数従属など派生概念も整理する。

正規化の議論に入る前に、スーパーキー・候補キー・主キーの3階層と、外部キー・代替キー・複合キーとの関係を整理する。2NF/3NF の「非キー属性」「部分従属」を語るための語彙を揃える。

全ての属性がアトミック値をとり、繰り返しグループを含まない状態が第1正規形。非1NF (unnormalized form) の代表例を並置し、1NF に変換する具体的手続きを図解する。

複合主キーの一部分にだけ関数従属する非キー属性 (部分関数従属) を切り出して別テーブル化するのが 2NF。単一主キーのテーブルは自動的に 2NF を満たす点も整理する。

非キー属性が別の非キー属性を経由して主キーに従属する「推移関数従属」を排除するのが 3NF。実務ではここまで来れば十分と言われることが多い理由も示す。

読み取り性能や運用の都合で、あえて正規化を崩す設計判断が非正規化。何を守り何を捨てるか、カバリングインデックスやマテリアライズドビューとの棲み分けまで含めて整理する。

ER 図の四角い箱の中身。何をエンティティにするか、何を属性に落とすかの判断基準を、身近な例で整理する。

ER 図の線が表す「エンティティ同士がどう繋がっているか」の意味。役割名と方向、自己参照 (再帰関連) までを身近な例で整理する。

「1 人の部長は何人の部下を持つか」を規定する多重度制約。1:1、1:N、多対多 を身近な例で整理する。

「所属する社員が 0 人の部署を認めるか」「どの部署にも所属していない社員を認めるか」を規定する最小基数の制約。IE 記法の記号の読み方まで。

「1 学生は複数科目を取り、1 科目に複数学生が集まる」の多対多関係を、連関実体 (履修登録) で分解する手続き。

「注文書の 3 行目」のように、親がいなければ意味を持たないエンティティ。エンティティ側から見れば「弱」、関連側から見れば「識別関係」— 主キーの構造で判別する。

同じ ER 図を 3 記法で描き分けた 1:1 対応表。実務ではどれを選ぶかの判断基準まで。