第4正規形とは？
第4正規形とは、BCNFであり、かつ自明でない多値従属の決定項がすべて超キーである状態。互いに独立した多値の組合せによる冗長を排除する。
だいよんせいきけい
第4正規形の意味
BCNFであり、かつ自明でない多値従属の決定項がすべて超キーである状態。互いに独立した多値の組合せによる冗長を排除する。
第4正規形の具体例
「社員—資格」と「社員—扶養家族」という独立した多値関係を1表に持つと、資格数×家族数の行が必要になる。2表に分けると第4正規形になる。
第4正規形は試験でどう引っ掛けられる？
第3正規形・BCNFまでは関数従属で判定するが、第4正規形は多値従属で判定する。判定材料が切り替わるのがここ。また多値従属が1つしかない表は第4正規形違反にならない——独立した多値従属が2つ以上同居して初めて組合せ爆発が起きる。
第4正規形と関連する用語
最終更新：2026-08-25／解説は資格暗記が独自に作成しています。 過去問の出典は各問題に記載のとおりです。