一、问题的提出 数据依赖: 是一个关系内部属性与属性之间的一种约束关系;通过属性间值的相等与否体现出来的数据间相互联系;是现实世界属性间相互联系的抽象;是数据内在的性质;是语义的体现 主要类型: 函数依赖、多值依赖 1、函数依赖 【定义6.1】 设R(U)是一个属性集U上的关系模式,X和Y是U的子集。 若对于R(U)的任意一个可能的关系r,r 中不可能存在两个元组在X上的属性值相等, 而在Y上的属性值不等, 则称“X函数确定Y”或“Y函数依赖于X”,记作X→Y。 X→Y,但Y⊈X则称X→Y是非平凡的函数依赖。 X→Y,但Y⊆X 则称X→Y是平凡的函数依赖。 因为平凡函数依赖必然成立,所以我们着