函数依赖
平凡函数依赖
若 X→Y,但 Y⊆X,则称 X→Y 是平凡函数依赖
非平凡函数依赖
若 X→Y,且 Y⊈X,则称 X→Y 是非平凡函数依赖
完全函数依赖
在关系模式 R (U) 中,如果 X→Y,并且对于 X 的任何一个真子集X',都有 X'!→Y,则称 Y 对 X 完全函数依赖
部分函数依赖
在关系模式 R (U) 中,如果 X→Y,但 Y 不完全函数依赖于 X,则称Y对X部分函数依赖
传递函数依赖
在关系模式 R (U) 中,如果 X→Y,Y→Z,且 Y!→X,Z⊈Y,则称 Z 对X 传递函数依赖