関数従属性
データモデリング§データベース設計論(立命館2022春講義)#626b30ee13a15800009bdd71より
#データベース
定義
リレーションスキーマ$ R
空でない任意の属性集合$ X,Y
タプル$ t_1,t_2
$ t_1.Xは$ t_1の属性$ X上の射影を表す
$ t_1.X = t_2.Xで$ t_1.Y=t_2.Yなら
$ Rのインスタンス$ rは関数従属性$ X \to Yを満たす
直感的には
属性$ Yの値は属性$ Xの値によって一意に定まる
諸注意
リレーションの主キー$ Xリレーションの全属性$ Yについて
$ X \to Y
関数従属性$ X \to Yについて$ Xが最小の属性集合であることは要求されない