继前面的基本概念:

(1)平凡函数依赖和非平凡函数依赖

设有关系模式R(U),X-》Y是R的一个函数依赖。若对于任何X,Y属于U,此函数依赖对R的任何一个值r都成立,且Y不包含于X,则称X-》Y是一个非平凡函数依赖。

显然,如果Y包含于X,则X-》Y就是一个平凡函数依赖。(类似于: 5 > X ,且 X > Y,则必有5 > Y)

(平凡函数依赖是非平凡函数依赖的特例,这里的区分,在于:存不存包含关系)

(2)完全函数依赖和部分函数依赖

设 X->Y是一个函数依赖,且对于X的任何一个真子集X'都不存在 X' -> Y,则称X->Y是一个完全函数依赖,即Y完全函数依赖于X。反之,如果X'->Y成立,则称X->是部分函数依赖。

(这里的区分,在于:存不存在这样的真子集)

(3)传递函数依赖

这个名词,不解释也罢,有点类似于传递性。