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