数据库规范化理论

函数依赖的定义

设关系模式R(U,F)，U是属性全集，F是U上的函数依赖集，X和Y是U的子集，如果对于R(U)的任意一个可能的关系r,对于X的每一个具体值，Y都有唯一的具体值与之对应，则称X函数决定Y，或Y函数依赖于X，记做X→Y。我们称X为决定因素，Y为依赖因素。当Y不依赖于X时，记做X→Y。若X→Y且Y→X，记做：X↔Y。

1.函数依赖是语义范畴

2.函数依赖与属性之间的联系类型有关

3.函数依赖关系的存在于时间无关

关系的键

设K为关系模式R(U,F)中的属性或属性集合

1.K→U

2.K的任意真子集都不能函数决定R的其他属性，即K满足最小化条件

函数依赖的公理系统（解决数据冗余）

只考虑给定的函数依赖集F是不够的，可以证明有其他的函数依赖也是成立的，这些函数依赖被称为F所“逻辑蕴含”

定义：对于满足一组函数依赖F的关系模式R(U,F)，其任何一个关系r，若函数依赖X→Y都成立，则称F逻辑蕴含X→Y