関係の正規化
ドメイン・キー正規形ではすべての制約はドメインとキー制約の結果として生じるものでなければならない。
精神科医-保険会社-病気関係は、第4正規形であるが、第5正規形ではない。 なぜなら、精神科医-保険会社-病気関係においてある結合従属性を満たすが、これはこの関係のただ一つの候補キー {精神科医, 保険会社, 病気} によって意味されるものではないからである。
先述の前提のもとでは、精神科医-保険会社-病気関係は3つの関係に分解することができる。 精神科医-保険会社-病気関係の分解手順は次のとおりである。
精神科医-保険会社-病気関係を {精神科医, 病気} で射影して、精神科医-病気関係を得る。
精神科医-保険会社-病気関係を {精神科医, 保険会社} で射影して、精神科医-保険会社関係を得る。
精神科医-保険会社-病気関係を {保険会社, 病気} で射影して、保険会社-病気関係を得る。
この関係分解により冗長性がどのように除去されるのかに注意すること。 例えば、Dr. James が FriendlyCare 社から払い戻しを受けて治療するようになる場合を考える。 関係分解前の精神科医-保険会社-病気関係では、Dr. James は FriendlyCare 社が保険の対象としている不安状態とうつ病の治療ができるため、精神科医-保険会社-病気関係に2つの組を追加しなければならない。 関係分解後では、精神科医-保険会社関係に1つの組を追加するだけでよい。