完全関数従属とは？かんぜんかんすうじゅうぞく
完全関数従属とは、A→Bが成り立ち、かつAのどの真部分集合からもBが決まらない状態。決定項に無駄な属性が1つも含まれていない、という条件を指す。第2正規形が要求するのはこれで、複合キーの一部だけで値が決まる部分関数従属を残さないことと同じ意味になる。
最終更新：2026-10-06
この語が出る過去問を解く →背景
複合キーの一部だけで決まる項目を同じ表へ置くと、その項目は組合せの数だけ重複して現れ、片方だけ直せば矛盾する。「真部分集合からは決まらない」という言い方は、この重複が起きないことを機械的に判定できる形へ言い換えたものである。正規化の手順を検査として使えるのは、定義が集合の包含関係だけで書かれているため。
具体例
（受注番号, 商品コード）→数量 は、受注番号だけでも商品コードだけでも数量が決まらないのでこの状態にある。同じ表の（受注番号, 商品コード）→受注日 は受注番号だけで決まるため部分関数従属で、受注表と受注明細表へ分ける対象になる。
試験での引っ掛け
決定項が単一属性なら真部分集合は空しかなく、部分関数従属はあり得ない——つまり主キーが単一列の表は自動的に第2正規形を満たす。第2正規形が排除するのは部分関数従属、第3正規形が排除するのは推移的関数従属で、どちらがどちらか取り違えやすい。
関連用語
出た過去問
出典：令和元年度 秋期 システムアーキテクト試験 午前Ⅱ 問21（IPA）
関数従属{A, B}→Cが完全関数従属性を満たすための条件はどれか。
正解：A→C及びB→Cのいずれも成立しないこと
要点：完全関数従属は決定項の真部分集合では決定できないこと
完全関数従属とは、{A, B}→C が成り立ち、かつその真部分集合である{A}や{B}だけでは C を決定できない状態を指す。逆に A→C や B→C が成り立つ場合は部分関数従属となり、第2正規形に反する原因になる。
出典・参考
高度試験 午前I（高度午前I 相当）のシラバスの3 技術要素 ＞ 2. データベース設計 ＞ (3) データの正規化に掲載されている用語です。
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。