
传递函数依赖是关系数据库理论中的数学概念,指在关系模式R(U)中,设X、Y、Z是U的不同属性子集,若X确定Y、Y确定Z,且Y不函数决定X,并且(X∪Y)∩Z=空集,则称Z传递函数依赖于X 。该定义包含两种情形:当Y是X子集时退化为部分函数依赖,否则为普通传递依赖 。
定义1将部分函数依赖视为传递依赖的特例,支持范式层级关系(1NF⊃2NF⊃3NF⊃BCNF⊃4NF⊃5NF)的成立,例如职工关系中职工编号传递确定车间主任的过程 。定义2、3通过限制Y非X子集,切断了部分依赖与传递依赖的关联,导致范式理论体系出现断裂 。
其他定义如定义4因未排除平凡依赖和直接决定关系,存在概念泛化缺陷 。典型案例包括职工关系中职工编号传递确定车间主任的过程 ,以及通过SQL查询验证传递依赖的条件 。
想要了解更多“传递函数依赖”的信息,请点击:传递函数依赖百科
