关系数据理论
目录
关系数据理论
6.1 问题的提出
1、一个关系模式可能存在的问题有哪些？
6.2 规范化
6.2.1 函数依赖
2、函数依赖：能区分不同的函数依赖
1.函数依赖
2.平凡函数依赖与非平凡函数依赖
3.完全函数依赖与部分函数依赖
4.传递函数依赖
6.2.2 码 (了解）
6.2.3 范式
6.2.4 2NF
6.2.5 3NF
6.2.6 BCNF
6.2.7 多值依赖
6.2.8 4NF
6.2.9 规范化小结
6.3 数据依赖的公理系统
*6.4 模式的分解
6.5 小结
1、一个关系模式可能存在的问题有哪些？
2、函数依赖：能区分不同的函数依赖
包括：函数依赖、平凡函数依赖与非平凡函数依赖、完全函数依赖、部分函数依赖、传递函数依赖的定义理解和应用（即能区分不同的函数依赖）
3、在函数依赖范畴，范式：
5、1NF、2NF、3NF、BCNF的定义和判别；p182
6、关系模式候选码的求解(看课件)；
8、根据文字描述，判断关系的函数依赖，由函数依赖再来判断是否存在部分，传递依赖，会分析判断不好的依赖带来的操作麻烦和异常。
6.1 问题的提出
1、一个关系模式可能存在的问题有哪些？
（1）数据冗余 （浪费大量的存储空间）
（2）更新异常（Update Anomalies） （数据冗余 ，更新数据时，维护数据完整性代价大。）
（3）插入异常（Insertion Anomalies）
（4）删除异常（Deletion Anomalies）
6.2 规范化
6.2.1 函数依赖
2、函数依赖：能区分不同的函数依赖
（包括：函数依赖、平凡函数依赖与非平凡函数依赖、完全函数依赖、部分函数依赖、传递函数依赖的定义理解和应用）
1.函数依赖
X对Y有明确的对应关系
2.平凡函数依赖与非平凡函数依赖
3.完全函数依赖与部分函数依赖
4.传递函数依赖
6.2.2 码 (了解）
6.2.3 范式
6.2.4 2NF
6.2.5 3NF
6.2.6 BCNF
6.2.7 多值依赖
6.2.8 4NF
6.2.9 规范化小结
6.3 数据依赖的公理系统
函数依赖闭包