8.18 数据依赖 Day35

---note---　

F = {Sno->Sdept, Sdept->Mname ,

　　　(Sno,Cname)->Grade }

平凡数据依赖:若X->Y , Y属于X 则称X->Y是平凡的函数依赖

非平凡数据依赖:X->Y，Y不属于X 则称X->Y是非平凡函数依赖

　　(Sno,Cno)-> Grade 非平凡函数依赖

扩张性:若X->Y 且W->Z 则(X,W)->(Y,Z)

分解性:X->(Y,Z) 则X->Y 且X->Z

X’ -\-> Y 则称Y完全函数依赖于X 记作 X(f)Y

　　　　　　　　　　　　　　　　　　X(p)Y

传递函数依赖:

　　　　　　X->Y , Y->Z

　　　　　　　　X->Z

---note---