部分函数依赖 && 完全函数依赖

部分函数依赖：若x->y 并且，存在X的真子集x1，使得x1->y,则 y部分依赖于x。

完全函数依赖：若x->y并且，对于x的任何一个真子集x1，都不存在x1->y，则称y完全依赖于x。
例子：{a,b}->{c} 同时{a}->{c}或者{b}->{c}，则{c}部分依赖于{a,b}。

 

一般，1:1为完全函数依赖，m:1为部分函数依赖。