第三正規形

推移的関数従属とは属性X、Y、Zがあって「X→YでかつY→Xでない、そしてY→Zである」であるときに「X→Z」が得られるように、既存の関数従属から新たな関数従属を得られる状態をいいます。

第二正規形であること

主キー以外のカラムは直接的に主キーに関連すること。

第三正規形では，ある表の中に推移的に従属する関係があった場合，その推移段階ごとに別の表に分割してしまう。

推移的に従属する関係とは，「A→B」で「B→C」だから「A→C」というような場合の「A→C」という関係を表す。

このような関係があった 場合は，それを「A→B」と「B→C」に分離するわけだ。

非キー属性が候補キーに推移関数従属性しないもの

完全関数従属ではない関数従属を含む