文章目录
第一章 绪论
第二章 关系数据库
第三章 关系数据库查询语言SQL
第四章 数据库的安全性
第五章 数据库的完整性
第六章 数据库系统概论
定义：在关系模式R(U)中，对于U的子集X和Y，如果X→Y，但Y⊆X，则称X→Y是平凡的函数依赖。若Y不属于X，则称X→Y为非平凡的函数依赖。
三、范式
1、关系模式的好与坏的标准衡量就是模式的范式(Normal Forms，简记为NF)。
2、范式的种类
（1）第一范式（1NF）： 如果关系模式R的每个关系r的属性值都是不可分的原子值，那么称R属于第一范式(first normal form，简记为1NF)，记作R∈1NF。
（2）第二范式(2NF)： 如果关系模式R∈1NF，且每个非主属性完全函数依赖于码，那么称R属于第二范式(2NF)，记作R∈2NF。
（3）第三范式（3NF）：如果关系模式R∈1NF，且每个非主属性都不传递依赖于R的码，那么称R属于第三范式(3NF)，记作R∈3NF。
（4）BC范式(BCNF)
BCNF(Boyce Codd Normal Form)是由Boyce 与Codd同时提出的，比3NF又进了一步，通常称BCNF为修正的3NF。所以有BCNF 3NF。
如果关系模式R∈1NF，且X→Y(Y X)时，X必含有码，则R属于BCNF，记作R∈BCNF。
（5）第四范式(4NF) 定义6-12如果关系模式R∈1NF，对于R的每个非平凡的多值依赖X→→Y(Y不属于X)，X含有码，则称R是第四范式，即R∈4NF。
三、多值依赖与第四范式
1、若X->->Y，而Z=空集，则称X->->Y为平凡的多值依赖，否则称X->->Y为非平凡的多值依赖。
多值依赖表示：X->->Y
2、多值依赖的性质
（1）对称性：若X->->Y，则X->->Z，其中Z=U-X-Y ；
（2）传递性：若X->->Y，Y->->Z，则X->->Z-Y；
（3）函数依赖是多值依赖的特殊情况：
若X->Y，则X->->Y；
若X->->Y，X->->Z，则X->->YZ；
若X->->Y，X->->Z，则X->->Y交Z；
若X->->Y，X->->Z，则X->->Y-Z，X->->Z-Y。
3、多值依赖的有效性与属性集的范围有关，
四、数据依赖的公里系统
1、ArmStrong公理系统
定理6-1 Armstrong公理是正确的、完备的。
自反律
2、函数依赖集等价最小函数依赖
3、最小函数依赖例子
五、模式分析
略。
第七章 数据库恢复技术
第八章 并发控制
第九章 数据库设计
发布者：全栈程序员-站长，转载请注明出处：https://javaforall.net/229436.html原文链接：https://javaforall.net
