正規化理論

RDBにおいて、一定のルールに従って、関係を分解する変形を行うこと。

タプル更新時に起こる更新時異状を排除すること。
また、正規化を行うことで1 fact in 1 place（１か所１事実）が実現できる。

正規化を行う＝テーブルを分解することであるため、データを扱う場合にはテーブルの結合が必要になる。
したがって、処理速度が遅くなる可能性があるためデータの更新を必要としない場合などにはあえて正規化を行わないこともある。

以下は正規化を行わない例：

正規化には、第1正規形から第5正規形まで、さらにボイスコッド正規形が含まれる六種類がある。
一般的には、データベース設計では第3正規形までを適用することが多い。

ある属性Xが決まれば、別の属性Yの値が一意に決まるという性質。
この関係は、X→Yのように表す。
上記の関係において、Xを決定項、Ｙを従属項という。

導出属性とは、他の属性からの演算結果で導くことができる属性。
導出属性は残したままにしておくと更新のたびに演算の必要があり、更新時異状が起こる可能性があるため、
一般的には正規化とともに排除していくが、上記の正規化を行わない場合と同様の理由で排除しない場合もある。

正規化を行う際に分解した関係を、自然結合した際にもとに戻せる分解の仕方のこと。
更新時異状を避けるためだけに適当に分解すると、もとあった情報が失われる可能性があるため、
情報無損失分解をするためには、第1正規形から順に正規化していく必要がある。

第1正規形

関係スキーマRが第1正規形であるとは、Rを定義するすべてのドメインがシンプルであるときをいう。

つまり、ドメインの属性がすべての単一値をとるということ。
ドメインに直積集合やべき集合がある場合にはそれを排除する。

関係のタプルを一意に識別できる属性または属性の組のうち極小のもの。

候補キーの中から一つ選んだもの。
どの候補キーを選択するかは、データベースの目的などによって決定される。

主キーには以下の制約がある。

関係スキーマは以下のように表記される。

関係名（属性1, 属性2, 属性3, 属性4）

主キーには実践の下線をつけ、外部キーには破線の下線をつける。