極小被覆とは?
極小被覆とは、関数従属集合から、他の従属から導ける冗長な従属や余分な左辺属性を取り除き、元と論理的に等価な最小の集合にしたもの。
きょくしょうひふく
極小被覆の意味
関数従属集合から、他の従属から導ける冗長な従属や余分な左辺属性を取り除き、元と論理的に等価な最小の集合にしたもの。
極小被覆の具体例
A→B、B→C、A→C の3つがあるとき、A→C は推移律で導けるので取り除いてよい。
極小被覆は試験でどう引っ掛けられる?
冗長除去の条件は「取り除いても元の従属集合と等価(同じ従属がすべて導ける)」こと。等価性を崩す削除は許されない。
極小被覆と関連する用語
最終更新:2026-08-25/解説は資格暗記が独自に作成しています。 過去問の出典は各問題に記載のとおりです。