规范化数据库

函数依赖

函数依赖的定义：
设R(U)是属性集合U={A1,A2,…,An}上的一个关系模式，X,Y是U上的两个子集，若对R(U)的任意一个可能的关系r，r中不可能有两个元组满足在X中的属性值相等而在Y中的属性值不等，则称“X函数决定Y”或“Y函数依赖X”，记作X->Y。
函数依赖通常是对两个属性或者两个属性组之间的依赖关系。
示例：U={学号，姓名，年龄，班号，班长，课号，成绩}

• 学号->{姓名，年龄}
  如果学号相同的话，姓名和年龄也一定是相同的，这就说明学号可以决定姓名和年龄，或者说姓名和年龄依赖于学号

说明：函数依赖的分析取决于对问题领域的限定和分析，取决于对业务规则的正确理解。例如：问题领域中，学生是没有重名的，则有：“年龄”和“家庭住址”都函数依赖于“姓名”。而在另一个问题领域中，学生是有重名的，则上述函数依赖是不成立的。
所以函数依赖是一种对问题领域理解得到的对数据取值之间的约束关系。
设计关系模式时，除给出属性全集外，还需给出这个属性上的函数依赖的集合。

示例：