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