従属性保存とは？

従属性保存の意味

分解後の各表に課した制約だけで、元の関係が持っていた関数従属をすべて検査できる性質。結合しないと確認できない従属が残ると保存されていない。

従属性保存の具体例

第3正規形までは無損失かつ従属性保存の分解が必ず存在するが、BCNFへの分解では従属性保存を諦めざるを得ない場合がある。

従属性保存は試験でどう引っ掛けられる？

無損失分解と混同しやすい。無損失分解は「結合すれば元の関係に戻る」性質、従属性保存は「結合せずに各表だけで制約を検査できる」性質で、見ているものが違う。無損失なBCNF分解は必ず存在するが、従属性保存まで同時に満たせるとは限らない——「BCNFは常に両方を満たす」は誤り。

従属性保存と関連する用語

• 無損失分解
• ボイス・コッド正規形

従属性保存が出た過去問

• 第1正規形から第5正規形までの正規化に関する記述のうち、適切なものはどれか。

  正解：第3正規形までは、情報無損失でかつ関数従属性保存の分解ができる。

  要点：第3正規形までは無損失かつ従属性保存の分解が可能

  第3正規形までは、情報無損失（結合しても元に戻る）と関数従属性の保存を両立する分解が必ず存在することが知られている。一方でボイス・コッド正規形以降になると、無損失分解はできても関数従属性の保存が犠牲になる場合がある。

  出典：平成28年度 春期 データベーススペシャリスト試験 am2 問8（IPA）

• 第1正規形から第5正規形までの正規化に関する記述のうち、適切なものはどれか。

  正解：第3正規形への分解では、情報無損失かつ関数従属性が保存される。

  要点：第3正規形までは無損失かつ関数従属性保存の分解ができる

  第3正規形までは、分解しても結合により元に戻せる（情報無損失）うえ、元の関数従属性も保存される分解が必ず存在する。ボイス・コッド正規形以降になると、無損失分解はできても関数従属性の保存が犠牲になる場合がある点が対比される。

  出典：令和1年度 春期 データベーススペシャリスト試験 am2 問7（IPA）

• 関係モデルにおいて、情報無損失分解ができ、かつ、関数従属性保存が成り立つ変換が必ず存在するものはどれか。ここで、情報無損失分解とは自然結合によって元の関係が復元…

  正解：第2正規形から第3正規形への変換

  要点：第3正規形までは無損失かつ関数従属性保存の分解が必ず存在

  第3正規形までであれば、自然結合で元の関係を復元できる分解でありながら、元の関数従属をすべて分解後の関係に残す変換が必ず存在することが知られている。ボイス・コッド正規形以降では無損失分解はできても関数従属性の保存が犠牲になる場合があるため、アが正しい。

  出典：令和5年度 秋期 データベーススペシャリスト試験 am2 問6（IPA）