推移的関数従属とは？

推移的関数従属の意味

キーA→B、B→Cが成立し（BはキーでもCの一部でもない）、その結果A→Cが導かれる従属関係。第3正規形に反する原因になる。

推移的関数従属の具体例

社員番号→部門コード→部門名。部門名は社員番号に推移的に従属している。

推移的関数従属は試験でどう引っ掛けられる？

推移的従属が残った表は第2正規形止まり。ただし候補キー間の従属（キー→キー）は第3正規形でも残り得る。

推移的関数従属と関連する用語

• 第3正規形

推移的関数従属が出た過去問

• 関数従属を次のように表記するとき，属性a～eで構成される関係を第3正規形にしたものはどれか。 〔関数従属〕 (1) 属性Xの値が与えられると，属性Yの値を一意に…

  正解：{a,b,d} と {b,c} と {b,d,e} に分解する

  要点：第3正規形は非キー属性間の推移的関数従属を排除する

  候補キーはaである。a→b→cという推移的関数従属があるのでcをbとともに切り出し、同様にa→{b,d}→eの推移性からeを{b,d}とともに切り出す。残るのは{a,b,d}となり、{a,b,d}・{b,c}・{b,d,e}の3つに分解した形が第3正規形である。

  出典：平成28年度 春期 応用情報技術者試験 午前 問27（IPA）

• 第3正規形であることの効果又は影響に関する記述として、適切なものはどれか。

  正解：冗長性が排除され、データの整合性を保ちやすくなる。

  要点：第3正規形は冗長性を排して更新時の不整合を防ぐ

  第3正規形は、非キー属性が主キーに完全関数従属し、かつ推移的関数従属が排除された状態である。同じ事実が複数箇所に重複して保持されなくなるため、更新時の不整合（更新異常）が起こりにくくなり、データの整合性を保ちやすくなる。

  出典：平成29年度 秋期 応用情報技術者試験 午前 問27（IPA）

• “受注明細”表は，どのレベルまでの正規形の条件を満足しているか。ここで，実線の下線は主キーを表す。

  正解：第2正規形

  要点：非キー属性間の従属が残る表は第2正規形まで

  主キーは受注番号と明細番号の組で、商品コードも数量もこの主キー全体に決まるため部分関数従属はなく、第2正規形は満たしている。しかし商品名は非キー属性である商品コードによって決まる推移的関数従属があるため、第3正規形は満たしていない。

  出典：平成29年度 春期 応用情報技術者試験 午前 問27（IPA）

• 第1，第2，第3正規形とそれらの特徴a〜cの組合せのうち，適切なものはどれか。 a：どの非キー属性も，主キーの真部分集合に対して関数従属しない。 b：どの非キー…

  正解：第1正規形=c，第2正規形=a，第3正規形=b

  要点：正規化は繰返し排除→部分従属排除→推移従属排除の順。

  第1正規形は繰返し属性（同一行内の反復する項目）を排除した形で、これがcに当たる。第2正規形は主キーの一部だけに依存する部分関数従属を排除した形でaに当たり、第3正規形は主キー以外を介した推移的関数従属を排除した形でbに当たる。正規化は繰返しの排除→部分従属の排除→推移従属の排除という順で進む。

  出典：平成30年度 秋期 応用情報技術者試験 午前 問28（IPA）

• 第1、第2、第3正規形とリレーションの特徴a, b, cの組合せのうち、適切なものはどれか。a：どの非キー属性も、主キーの真部分集合に対して関数従属しない。b：…

  正解：第1正規形：c／第2正規形：a／第3正規形：b

  要点：正規化は繰返し→部分従属→推移的従属の順に取り除く

  第1正規形は繰返し項目を排除して各欄が単一の値になった状態（c）を指す。第2正規形はさらに、主キーの一部だけで決まる属性（部分関数従属）を分離した状態（a）である。第3正規形では、非キー属性を経由して間接的に決まる推移的関数従属も取り除く（b）。この順で段階的に冗長性を減らしていく。

  出典：令和4年度 春期 応用情報技術者試験 午前 問28（IPA）