数据库基础--函数依赖（2）

函数依赖：给定r®的一个实例，r®为一个关系实例。其中R为他的所有属性的集合。若存在a，b都是R的子集（a!=b）,当a属性值集合确定的时候，就可以确定唯一b属性集合。我们称其满足函数依赖a-b。如果r®的每个合法实例都满足函数依赖a-b，则说函数依赖在模式r®上成立。

平凡函数依赖：在函数依赖a-b的基础上，b是a的子集，则满足平凡函数依赖；
部分函数依赖：在函数依赖a-b的基础上，若存在a的子集c，满足函数依赖c-b，则满足部分函数依赖。
完全函数依赖：在函数依赖a-b的基础上，不存在a的真子集d，满足函数依赖d-b，则满足完全函数依赖。
传递函数依赖：在函数依赖a-b的基础上，若在属性集R上有另一个属性集合y，满足函数依赖a-y，y-b。则满足传递函数依赖。