|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
【定义9-7】若关系模式R∈1NF，若X→Y，且Y属于X，X必含有码，则关系模式R∈BCNF。
|
|
|
|
即当3NF消除了主属性对码的部分和传递函数依赖，则称为BCNF。
|
|
|
|
|
|
|
|
.所有非主属性对每一个不包含它的码，也是完全函数依赖。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
【定义7.9】若关系模式R（U）中，X、Y、Z是U的子集，并且Z=U-X-Y。当且仅当对R（U）的任何一个关系r，给定一对（x，z）值，有一组Y的值，这组值仅仅决定于x值而与z值无关，则称“Y多值依赖于X”或“X多值决定Y”成立。记为：X→→Y。
|
|
|
|
|
|
.多值依赖具有对称性。即若X→→Y，则X→→Z，其中Z=U-X-Y。
|
|
|
|
.多值依赖的传递性。即若X→→Y，Y→→Z，则X→→Z-Y。
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
（1）第一范式（1NF）：如果关系模式R的每个关系r的属性值都是不可分的原子值，那么称R是第一范式的模式，r是规范化的关系。关系数据库研究的关系都是规范化的关系。
|
|
|
|
（2）第二范式（2NF）：若关系模式R是1NF，且每个非主属性完全函数依赖于候选键，那么称R是2NF模式。
|
|
|
|
（3）第三范式（3NF）：如果关系模式R是1NF，且每个非主属性都不传递依赖于R的候选码，则称R是3NF。
|
|
|
|
（4）BC范式（BCNF）：若关系模式R是1NF，且每个属性都不传递依赖于R的候选键，那么称R是BCNF模式。
|
|
|
|
上述四种范式之间有如下联系：1NF?2NF?3NF?BCNF。
|
|
|
|
|
|
|
|
|
|
|
|
|
