ＤＢ その６ 第４正規形

前回の多値従属性を踏まえて、
今日は、第４正規形について。
正直、この辺りまで来ると、表もかなり限定されてくると思うんですが･･･

第４正規形

多値従属性：

Ｒをリレーション（関係）とする。
また、リレーションＲは属性にＸ，Ｙ，Ｚを持つとする。
このとき、（Ｘ，Ｙ，Ｚ），（Ｘ，Ｙ'，Ｚ'）∈Ｒ（Ｘ，Ｙ，Ｚ）ならば、
（Ｘ，Ｙ'，Ｚ），（Ｘ，Ｙ'，Ｚ）∈Ｒ（Ｘ，Ｙ，Ｚ）である。

このとき、Ｘ～Ｙと表し、多値従属性が成り立つという。
また、Ｒ内にＸ，Ｙ以外に属性が存在しない時、Ｘ～Ｙを自明な多値従属であるという。

第４正規化：

リレーションＲに成立しているすべての多値従属に関して、
Ｘは候補キーであるか、Ｘ～Ｙは自明な多値従属である。

自分なりの解釈では、以前の表を使うと以下のようになる。

よってこの表を第４正規形に正規化するためには、
｛レスラー名，所属，得意技｝を｛レスラー名，所属｝と｛レスラー名，得意技｝に分解すればよい。

※実際の団体名、レスラーとは全く関係ありません。