数据库课件第6章关系数据理论

《数据库课件第6章关系数据理论》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、4.关系模式的规范化2.范式的定义和分类3.关系模式所属范式类型的判别本次课内容1.关系模式中的函数依赖AnIntroductiontoDatabaseSystem例：学校数据库的语义：⒈一个系有若干学生，一个学生只属于一个系，学号唯一，姓名可能重名；⒉一个系只有一名系主任，系名不重复，系主任可能重名；⒊一个学生可以选修多门课程，每门课程有若干学生选修；⒋每个学生所学的每门课程都有一个成绩，课程号唯一，课程名不排除相同情况。AnIntroductiontoDatabaseSystem根据语义，有如下函数依赖：学生(学号,姓名,系名,系主任,课程号

2、,课程名,分数)假设某个人根据上述语义设计了如下关系模式:①学号→姓名②学号→系名④系名→系主任⑤(学号,课程号)→分数③课程号→课程名学生(学号,姓名,系名,系主任,课程号,课程名,分数)AnIntroductiontoDatabaseSystem关系模式R(U)，U是R的属性集合，X、Y、Z是U的子集，X’是X的任意真子集。1.完全函数依赖：X→Y，X’Y，则XｆY。课程号分数X’学号分数X’(学号,课程号)XYｆ分数AnIntroductiontoDatabaseSystem关系模式R(U)，U是R的属性集合，X、Y、Z是U的子集，X’是X

3、的任意真子集。2.部分函数依赖：X→Y，存在一个X’→Y，XPY。(学号,课程号)pXY课程名AnIntroductiontoDatabaseSystem关系模式R(U)，U是R的属性集合，X、Y、Z是U的子集，X’是X的任意真子集。3.传递函数依赖：X→Y，Y→Z，且YX，YX，则X→Z,称Z传递函数依赖于X。学号传递系主任XZ系名→系主任YZ学号→系名XYAnIntroductiontoDatabaseSystem1.范式范式(NormalForm,NF)：关系模式的规范形式。是符合某一种级别的关系模式的集合。AnIntroductiont

4、oDatabaseSystem规范化目的：逐渐消除异常,减少冗余。规范化方法：一般采用分解的办法，将低级别范式向高级别范式转化，使关系的语义单纯化。规范化：将一个给定的关系模式转化为某种级别范式的过程称为关系模式的规范化过程，简称规范化。2.规范化AnIntroductiontoDatabaseSystem定义：如果一个关系模式R的所有属性都是不可分的基本数据项，则称该关系模式为第一范式关系模式，记作R∈1NF。(1)第一范式（1NF）以函数依赖为基础的范式种类：第一范式、第二范式、第三范式和BCNF范式。3.以函数依赖为基础的范式AnIntro

5、ductiontoDatabaseSystem非第一范式的关系转换为1NF关系：将复合属性变为简单属性即可。AnIntroductiontoDatabaseSystem学号姓名系名系主任课程号课程名分数95001王红电子系张三C003数据库8595001王红电子系张三C002英语8995002李为数学系李二C003数据库5695003柳雨化学系张可C002英语9095003柳雨化学系张可C004化学6795004许利化学系张可C001数学7895005柯南外语系王力C001数学99学生学生(学号,姓名,系名,系主任,课程号,课程名,分数)AnIn

6、troductiontoDatabaseSystema.插入情况:若要插入一个没选课的学生,能插入吗?学号姓名系名系主任课程号课程名分数95001王红电子系张三C003数据库8595001王红电子系张三C002英语8995002李为数学系李二C003数据库5695003柳雨化学系张可C002英语9095003柳雨化学系张可C004化学6795004许利历史系赵前C001数学7895006李立历赵前95005柯南外语系王力C001数学99X结论:存在插入异常AnIntroductiontoDatabaseSystemb.删除情况:如某学生只选了一门

7、课，如果要删除学生的该门选课，则会出现什么后果?学号姓名系名系主任课程号课程名分数95001王红电子系张三C003数据库8595001王红电子系张三C002英语8995002李为数学系李二C003数据库5695003柳雨化学系张可C002英语9095003柳雨化学系张可C004化学6795004许利历史系赵前C001数学7895005柯南外语系王力C001数学9995001王红电子系张三C003数据库85结论:存在删除异常AnIntroductiontoDatabaseSystemc.冗余情况:学号姓名系名系主任课程号课程名分数95001王红电子

8、系张三C003数据库8595001王红电子系张三C002英语8995002李为数学系李二C003数据库5695003柳雨化学系张可C00