数据库课件第九章 关系数据规范化设计.ppt

3、定理 具有函数依赖F的关系模式R，如果R是BCNF，则也一定是3NF。 4、在函数依赖的范围内，BCNF实现了对关系模式的彻底分解，能消除插入和删除异常，达到了最高的规范化程度。 五、 范式间的联系 4NF BCNF 3NF 2NF 1NF 非规范化关系 3NF在很大程度上消除了由函数依赖引起的存储异常。 BCNF完全消除了由函数依赖引起的数据冗余和其他存储异常，它是在函数依赖范畴内规范化程度最高的范式。 4NF则是考虑了多值依赖后规范化程度最高的范式，消除了由函数依赖和多值依赖引起的存储依赖问题。 第四节 关系模式的规范化 一、关系模式规范化的基本步骤 （1）将1NF的关系模式进行投影，分解为若干个2NF关系。（消除非主属性对码的部分依赖） （2）将2NF的关系模式进行投影，分解为若干个3NF关系。（消除非主属性对码的传递依赖） （3）将3NF的关系模式进行投影，分解为若干个BCNF。（消除主属性对码的部分和传递依赖） （4）将BCNF的关系模式进行投影，分解为若干个4NF。（消除多值依赖引起的问题） * * 第九章 关系数据库的规范化设计（第二章） 第一节 关系模式的存储异常问题 例1 某贸易公司为保存客户的订单信息，设计了如下关系： CustomerOrder（Ono, Cno, Company, Address, Odate, Freight, Pno, Quantity） 20 C004 200 2001-03-01 四川北路1000号 好欣 C001 O004 50 C003 200 2001-03-01 四川北路1000号 好欣 C001 O004 150 B005 200 2000-08-01 南京东路250号 兴兴 C002 O002 50 B004 200 2000-08-01 南京东路250号 兴兴 C002 O002 100 B003 200 2000-08-01 南京东路250号 兴兴 C002 O002 20 B002 200 2000-08-01 南京东路250号 兴兴 C002 O002 200 B001 200 2000-08-01 南京东路250号 兴兴 C002 O002 20 A003 100 2000-04-01 四川北路1000号 好欣 C001 O001 50 A002 100 2000-04-01 四川北路1000号 好欣 C001 O001 100 A001 100 2000-04-01 四川北路1000号 好欣 C001 O001 Quantity Pno Freight Odate Address Company Cno Ono 例2 学生信息关系模式 S ( 学号, 姓名, 性别, 系号, 系名, 系地址, 课程号, 课程名, 成绩 ) 87 经济学 C011 2教5楼 管理系 D003 男 李四 S010 95 数据库 C003 2教5楼 管理系 D003 男 李四 S010 75 管理学 C010 2教5楼 管理系 D003 男 李四 S010 80 诗歌欣赏 C004 2教1楼 外语系 D005 男 张三 S001 85 英美文学 C002 1教1楼 外语系 D005 男 张三 S001 90 高等数学 C001 1教1楼 外语系 D005 男 张三 S001 95 数据库 C003 1教1楼 外语系 D005 男 张三 S001 成绩 课程名 课程号 系地址 系名 系号 性别 姓名 学号 D003 男 李四 S010 D005 男 张三 S001 系号 性别 姓名 学号 2教5楼 管理系 D003 2教1楼 外语系 D005 系地址 系名 系号 经济学 C011 管理学 C010 诗歌欣赏 C004 英美文学 C002 高等数学 C001 数据库 C003 课程名 课程号 C011 C003 C010 C004 C002 C001 C003 课程号 87 93 75 80 85 90 95 成绩 S010 S010 S010 S001 S001 S001 S001 学号 第二节 函数依赖 设R（U）是属性集U上的关系模式。X、Y是U的子集。若对R（U）的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称X函数确定Y或Y函数依赖于X，记做X→Y 注意：函数依赖是针对关系模式本身，而不是针对某个实例。 一、函数依赖的定义 S ( 学号, 姓名, 性别, 系号, 系名, 系地址, 课程号, 课程名, 成绩 ) 中存在如下函数依赖： (学号，课程号)→成绩 学号→姓名 学号→ 性别