资源描述:
《《关系模式的规范化》ppt课件》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、第4讲关系模式的规范化第5章关系数据库模式设计例:R=(S#,C#,GRADE,TNAME,TADDR),F={C#TNAME,(S#,C#)GRADE,TNAMETADDR}主要问题:C#TNAMEC#TNAMETNAMETADDRC#TADDR(S#,C#)TADDR到底什么样的关系模式是最优的?标准是什么?如何实现?主要内容范式第一范式第二范式第三范式BCNF范式之间的关系和关系模式的规范化向3NF的模式分解算法一、范式衡量关系模式好坏的标准就是关系模式的范式(NormalForms,简记为NF)。可以把范式的概念理解为符合某一条件的关系模式的集合。在一个关系模式R中,如
2、果R的每一个属性的值域中的值都是不可再分的最小数据单位,则称R是第一范式(1NF)的模式,也称R∈1NF。二、第一范式(1NF)1NF是最基本的范式,满足1NF的关系称为规范化的关系,否则,称为非规范化的关系。例:R=(S#,C#,GRADE,TNAME,TADDR),F={C#TNAME,(S#,C#)GRADE,TNAMETADDR}S#C#GRADETNAMETADDR200401001C401001C402002C403001909085徐浩李阳洋宋歌a1b1c1200401002C401001C4020027588徐浩李阳洋a1b1200401003C40200269李阳洋b1
3、200402001C40100487徐浩a1结论:R不是1NF模式二、第一范式(1NF)(续1)解决方法对于有子表的非规范关系,一般采用重复所在行的其它属性的值,增加新的记录,从而把子表中的值分开,将非规范关系转换成规范关系。二、第一范式(1NF)(续2)例:R=(S#,C#,GRADE,TNAME,TADDR),F={C#TNAME,(S#,C#)GRADE,TNAMETADDR}S#C#GRADETNAMETADDR200401001C401001C402002C403001909085徐浩李阳洋宋歌a1b1c1200401002C401001C4020027588徐浩李阳洋a1b1
4、200401003C40200269李阳洋b1200402001C40100487徐浩a1200401001C40100190徐浩a1200401001C40200290李阳洋b1200401001C40300185宋歌c1200401002C40100175徐浩a1200401002C40200288李阳洋b1结论:R是1NF模式二、第一范式(1NF)(续3)三、第二范式(2NF)定义:如果一个关系模式R是1NF,且它的每一个非主属性都完全函数依赖于候选键,那么称R是满足第二范式(2NF)的关系模式。例:R=(S#,C#,GRADE,TNAME,TADDR),F={C#TNAME,(S#,
5、C#)GRADE,TNAMETADDR}三、第二范式(2NF)(续1)学号(S#)课程号(C#)教师名(TNAME)部分依赖结论:R不是2NF模式S#C#GRADETNAMETADDR200401001C40100190徐浩a1200401001C40200290李阳洋b1200401001C40300185宋歌c1200401002C40100175徐浩a1200401002C40200288李阳洋b1200401003C40200269李阳洋b1200402001C40100487徐浩a1例:R=(S#,C#,GRADE,TNAME,TADDR),F={C#TNAME,(S#,C#)
6、GRADE,TNAMETADDR}三、第二范式(2NF)(续2)学号(S#)课程号(C#)成绩(GRADE)教师名(TNAME)教师住址(TADDR)R1R2例:R=(S#,C#,GRADE,TNAME,TADDR),F={C#TNAME,(S#,C#)GRADE,TNAMETADDR}三、第二范式(2NF)(续3)例:R1(S#,C#,GRADE),F1={(S#,C#)GRADE}R2(C#,TNAME,TADDR),F2={C#TNAME,TNAMETADDR}C#TNAMETADDRC401001徐浩a1C402002李阳洋b1C403001宋歌c1C401004徐浩a
7、1S#C#GRADE200401001C40100190200401001C40200290200401001C40300185200401002C40100175200401002C40200288200401003C40200269200402001C40100487三、第二范式(2NF)(续4)结论:R1和R2是2NF模式r2r1结论:R2中仍然存在数据冗余和操作异常四、第三范式(3NF)定