【梳理】数据库系统概论 第6章 关系数据理论 6.2 规范化（未完待续）

教材：王珊 萨师煊 编著 数据库系统概论（第5版） 高等教育出版社
注：文档高清截图在后

（未完待续）

6.2 规范化

1、函数依赖要求属性间满足一定的函数关系：自变量确定后，相应的因变量也要唯一确定。即：设R(U)是属性集U上的一组关系模式，U有子集X、Y。若对于R(U)的任意一个关系r，不存在两个元组在X上的属性值相等却在Y上的属性值不等，就称X函数确定Y或Y函数依赖于X，记作X→Y。函数依赖和别的数据依赖一样，是语义范畴的概念，只能根据语义来确定函数依赖。例如：“小说标题→小说作者”这个关系只有在无同名但正文不同的小说的情况下成立。如果允许相应的域中存在同名但内容不同的小说，就无法只根据标题确定作者（你又不保证是同一个作者写的两篇标题相同但正文不一的小说），就不能在这两个属性上定义函数依赖。
如果X→Y但 ，就说X→Y是平凡的函数依赖，否则称为非平凡的函数依赖。对任意关系模式，平凡函数依赖总是成立的，不反映新的语义。例如：对关系“剧组人员的经历”的属性建立函数依赖{导演，编剧}→{导演}。对关系中的任意元组，可以这样解读：如果元组对应的人员既是导演，又是编剧，那么自然能知道“此人是导演”一定成立，并没有反映多少新东西。类似地，如果此人不是导演、不是编剧，或不是导演、是编剧，或是导演、不是编剧，也会得到类似的结果：推不出任何新信息。如果不特别声明，默认一个依赖是非平凡的函数依赖。
如果X→Y，称X为该函数依赖的决定属性组，也称决定因素。注意：这里的“决定”指的是能够唯一确定值。即便两者在自然语言上没有直接关系，但是只要能够通过某种方法通过X确定Y的属性值，就称X为决定因素。
若X→Y且Y→X，就记为X←→Y。

2、如果X→Y，且对X的任一真子集X’，X’→Y都不成立，那么称Y对X完全函数依赖（Full functional dependency），记作