1.函数依赖
只能通过数据的语义来确定函数依赖
X → Y X\rightarrow Y X→Y表示X函数确定Y或者Y函数依赖于X,X称为这个函数依赖的决定属性组,简称决定因素
X ↛ Y X\nrightarrow Y X↛Y表示Y不依赖于X
2.平凡函数与非平凡函数
- 非平凡函数依赖: X → Y , Y ⊈ X X\rightarrow Y,Y\nsubseteq X X→Y,Y⊈X
- 平凡函数依赖: X → Y , Y ⊆ X X\rightarrow Y,Y\subseteq X X→Y,Y⊆X
例如,由学生学号和学生选课就可以确定学生分数就是非平凡函数依赖
( S n o , C n o ) → G r a d e (Sno,Cno)\rightarrow Grade (Sno,Cno)