函数依赖:即某些属性能够决定另一些属性,什么叫决定呢?加入存在依赖X—>Y,就是当X中属性相同时,Y中属性也对应相同 完全函数依赖:X—>Y中,去掉X中任意一个属性就会不满足了。F中全是完全函数依赖 部分函数依赖:与完全函数依赖相反,去掉X中某些属性依旧成立的依赖。同样,对于F中的所有依赖,可以向左部添加额外元素,就得到了部分函数依赖 传递函数依赖:(学号,课程号)—>成绩,成绩—>等级,从这两个依赖我们可以推出:(学号,课程号)—>等级,这就是一个传递函数依赖。 传递函数依赖需要满足一些条件:作为条件的两个函数依赖都是非平凡依赖,第一个条件的左部不能依赖于推出的函数依赖中的右部。
我的理解:X,Y,Z就是表的属性。 如果都是非平凡函数依赖关系,就是传递函数依赖。