関数従属について

関数従属

関数従属

• 概要...ある属性xの値が決めると他の属性yの値が一意に決まる関係のことを関数従属と呼ぶ。属性xのことを独立属性(決定項)といい、属性yを従属属性(従属項)という。関数従属に着目することで、正規化することが重要。

• 表記

  • x -> y (xならばyと読む) : xに対して単一のyが決まる場合の表記
  • x ->-> y : xに対して集合yが決まる場合の表記

• 独立属性(決定項)...ある値を決める値。属性xのこと

• 従属属性 (従属項)...独立属性によって決まる値。属性yの事

• 例) 顧客ID(決定項)が決まる時, 顧客名(従属項)が一意に決まる

真部分集合

• 集合x1がxの部分集合であり、x1=x出ない真に, x1はxの真部分集合という。

部分関数従属

• x ->yの関係において、yがxの真部分集合にも関数従属する時, yはxに部分関数従属するという。
• {x1, x2} -> yが成り立ち、かつx2->yが成り立つ場合、{x1, x2}とyの間に部分関数従属が存在する

• 例) 売り上げ明細票(売り上げID, 商品ID, 商品名, 単価, 数量)というテーブルで、売り上げIDと商品IDの2つを主キーとしたとき、{売り上げID, 商品ID}-> 商品名, 商品ID->商品名の2つが成り立つので、{売り上げID, 商品ID}と商品名の間には部分関数従属の関係が存在する

完全関数従属

• x -> yの関係において、yがxのどの真部分集合にも関数従属しないこと
• {x1, x2} -> yのみが成り立つケースが完全関数従属。x2->yも成り立つ場合は完全関数従属ではなく部分関数従属となる。

• 例) 完全関数従属が成り立つ場合
  

推移的関数従属

• 間接的に関数従属している関係のこと
• 例えば、属性x, y zに対して、x->y, y->zが成り立ち, y->xが成り立たないとき, zはxに推移的関数従属しているという。
• さらにz->yが成り立たない場合は,zはxに完全推移的関数従属しているという。

• 例) 推移的関数従属の図
  

参考

• ミック, 達人に学ぶデータベース設計徹底指南書, 2012
• 大滝 みや子, 平成30年度[春期][秋期]応用情報技術者合格教本