2011年软考数据库系统工程师知识点讲解(6)

　　更多：2011年软考数据库系统工程师知识点精讲汇总

软考数据库系统工程师知识点讲解：关系数据库的规范化理论

　　六、关系数据库的规范化理论

　　函数依赖

　　定义1 设R(U)是属性集U上的关系模式。X，Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称‘X函数确定Y’或‘Y函数依赖于X’，记作X→Y。

　　函数依赖和别的数据依赖一样是语义范畴的概念。只能根据语义来确定一个函数依赖。例如姓名→年龄这个函数依赖只有在没有同名人的条件下成立。如果允许有相同名字，则年龄就不再函数依赖于姓名了。设计者也可以对现实世界作强制的规定。例如规定不允许同名人出现，因而使姓名→年龄函数依赖成立。这样当插入某个元组时这个元组上的属性值必须满足规定的函数依赖，若发现有同名人存在，则拒绝插入该元组。注意，函数依赖不是指关系模式R的某个或某些关系满足的约束条件，而是指R的一切关系均要满足的约束条件