第二正規形

Xのうちの真部分とはXが複数の部分に分割できる場合を考える。

たとえば、A、B、Yという属性があってB→Cであるときに、AとBとの組み合わせをXとするとX→Yとなりますが、XのうちのBすなわちXの真部分と関数従属性が成り立ちます。

Yからみた場合、Aの部分については冗長な関係にあることになる

第一正規形であること

リレーションの主キー以外のすべてのキーが主キーに従属していること。

第二正規形では、ある表の中にある属性の組み合わせのうち、主キーではなく部分キーに従属する属性があった場合は、その部分を独立させてしまう。

部分関数従属性を含まない

推移関数従属性を含む

非キー属性はいずれも、いかなる候補キーにも完全関数従属する