第六章 关系规范化理论

1. 函数依赖：设R(U)是属性集U上的关系模式，X,Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数确定Y或Y函数依赖于X，记作X->Y
2. 完全函数依赖：在R(U)中如果X->Y，并且对于X的任何一个真子集X’，都推导不出来Y，则称Y对X完全函数依赖
3. 部分依赖：在关系模式R(U)中，X,Y为U的子集，若X->Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖
4. 多值依赖：设R(U)是属性集U上的关系模式，X,Y，Z 是U的子集，同时Z=U-X-Y。关系模式R(U)中多值依赖X->->Y成立，当且仅当R(U)的任一关系r，给定的一对（x,z）值，有一组Y的值，这组值仅仅决定于x的值，而与z值无关
5. 4NF：限制关系模式的属性之间不允许有非平凡且非函数依赖的多值依赖
6. 逻辑蕴涵：对于满足一组函数依赖F的关系模式R<U,F>，其任何一个关系r，若函数依赖X->Y都成立，则称F逻辑蕴涵X->Y
7. 闭包：在关系模式R<U,F>中为F所逻辑蕴涵的函数依赖的全体叫做F的闭包记为F+
8. 模式分解的几个重要事实：
   若要求分解保持函数依赖，那么模式分离总可以达到3NF，但不一定达到BCNF
   若要求分解既保持函数依赖，又具有无损连接性，则可以达到3NF，但不一定能达到BCNF
   若要求分解具有无损连接性，那一定可以到4NF
9. 任何一个二目关系都属于3NF，BCNF，4NF
   因为它只有两个属性