MySQL-笔记-10.关系模式的规范化理论

目录

10.1 规范化内容和异常

 问题1：数据冗余

 问题2：更新异常

 问题3：插入异常

 问题4：删除异常

10.2 函数依赖

10.2.1 函数依赖的定义

 10.2.2 函数依赖与属性之间类型有关

10.2.3 函数依赖的类型

 10.2.3.1 平方函数依赖、非平凡函数依赖

10.2.3.2 完全函数依赖、部分函数依赖

 10.2.3.3 传递函数依赖

案例的函数依赖分析：      

10.3 范式

10.3.1 第一范式

10.3.2 第二范式

10.3.3 第三范式

10.4 反范式

10.1 规范化内容和异常

规范化的内容：

系模式的规范化理论最早由关系数据库的创始人E. F. Codd于1970年在其文章《大型共享数据库数据的关系模型》中提出。

关系数据库的规范化理论以属性间的函数依赖关系为基础，分析现有关系模式的规范化程度，并对不满足规范化级别的关系模式，采取模式分解等方法提升关系模式的规范化程度。

不合理的关系模式存在的异常问题：

例：泛关系模式。SCD(sno, sname, gender, depart, cname, tname, grade)，

其中，sno表示学生学号，sname表示学生姓名，gender表示学生性别，depart表示学生所在的学院，cname表示课程名称，tname表示任课老师，grade表示成绩。主码为(sno，cname)

• 一个学院有若干名学生，但一名学生只属于一个学院；
• 一门课程可以由多个教师来上，一个教师可以上多门课程；
• 一名学生可以选修多门功课，每门课程可被若干名学生选修；
• 每名学生学习的课程有一个成绩，但不一定立即给出。

 问题1：数据冗余

每一个学院名、姓名、性别重复出现，重复次数与该学院所有学生的所有课程成绩出现次数相同。 

 问题2：更新异常

系统要付出很大的代价来维护数据库的完整性。比如更改一门课程的任课教师，就必须逐一修改每一个元组。（学生改名、换学院）稍有不慎，就有可能漏改某些记录，这就会造成数据的不一致性，破坏了数据的完整性。

 问题3：插入异常

 “由于码值的一部分为空，而不能将有用的信息作为一个元组插入到关系中”

如果一个学院刚成立，尚无学生，或虽然有学生，但尚未安排课程，根据实体完整性约束，就无法把这个学院及其任课教师的信息存入数据库。