資格暗記無料で始める

極小被覆とは?

極小被覆とは、関数従属集合から、他の従属から導ける冗長な従属や余分な左辺属性を取り除き、元と論理的に等価な最小の集合にしたもの。

きょくしょうひふく

データベーススペシャリスト試験の頻出用語/午前II/別名:最小被覆、冗長性の除去、canonical cover


極小被覆の意味

関数従属集合から、他の従属から導ける冗長な従属や余分な左辺属性を取り除き、元と論理的に等価な最小の集合にしたもの。

極小被覆の具体例

A→B、B→C、A→C の3つがあるとき、A→C は推移律で導けるので取り除いてよい。

極小被覆は試験でどう引っ掛けられる?

冗長除去の条件は「取り除いても元の従属集合と等価(同じ従属がすべて導ける)」こと。等価性を崩す削除は許されない。

極小被覆と関連する用語

最終更新:2026-08-25/解説は資格暗記が独自に作成しています。 過去問の出典は各問題に記載のとおりです。