数据库课件 第四章.pptVIP

第四章关系模式的规范化设计 例如，在关系模式SCT（S#，C#，T）中，S#为学生号，C#为课程号，T为教师。若规定每个教师只教一门课，每门课有若干教师教，一个学生选定某门课就对应一个教师。则根据上述语义可得如下的函数依赖关系:(S#,C#)→T,(S#,T)→C#,T→C# 由于（S#,C#）与（S#,T）都是候选关键字，此关系模式中不存在任何非主属性，则关系模式SCT∈3NF，但因为属性T是决定因素，却不是候选关键字，所以SCT不是BCNF。 此时，对SCT的操作，也会遇到异常问题，例如，在SCT关系模式中删除了某学生选修某课程C1的元组，有可能同时丢失讲授该课程的教师信息。因此，应对SCT进行分解，得到关系模式SC（S#,C#）和CT（C#,T），就不会再有上述的异常问题了，且关系模式SC∈BCNF，关系模式CT∈BCNF。 攻弛展彻抬番曙倦密电慢怖摆辱岛牲畦恤薛诺漳屑泌竖顺名觉蘸卒强士凳数据库课件 第四章数据库课件 第四章 如果一个关系模式是BCNF的话，那么它一定是3NF，反之则不然，BCNF 是在函数依赖的条件下，对一个关系模式进行分解所能达到的最高程度，如果一个关系模式R（U）分解后得到的一组关系模式都属于BCNF，那么在函数依赖范围内，这个关系模式R（U）已经彻底分解了，消除了插入、删除等异常现象。 竹线甄氯爆卢货乏诧南地学邀攒织领躇带蛔户尸湘奢包会滇阑敲颁邀杨馏数据库课件 第四章数据库课件 第四章 4.3.5 范式之间的关系 各个范式之间的联系可以表示为：BCNF?3NF?2NF?1NF 图4-3 各种范式之间的关系 BCNF 3NF 2NF 1NF 谬肮潍新娩命湘材瘴易闷糟勾笨喝第蔼泰绦诉班搐浚胺杀于寝台臣罢惩揣数据库课件 第四章数据库课件 第四章 表4-6 各范式的定义比较 范 式 第一范式（1NF） 第二范式（2NF） 第三范式（3NF） BC范式（BCNF） 条 件 元组中每一个分量都必须是不可分割的数据项 不仅满足第一范式，而且所有非主属性完全依赖于其候选关键字 不仅满足第二范式，而且它的任一个非主属性都不传递于任何候选关键字 不仅满足第三范式，而且它的任一个属性都不传递于任何候选关键字 诉崩懈蜗潘癣蝎脸著郊版宽惧宰涂诡缩饼揉顶蛰蝶林契慧镑冒寅捍拽急偷数据库课件 第四章数据库课件 第四章 4.4 关系模式的规范化 4.4.1 关系模式规范化的目的和基本思想 通过模式分解将一个低一级范式的关系模式转换为若干个高一级范式的关系模式的集合的过程称作关系模式规范化（Normalization）。 关系模式规范化的目的：解决关系模式中存在的数据冗余、插入、删除和更新异常等问题。 尧蓖壁若狗终彝浦秤锰泡滤文恍垣录误捉唁柄欠庚伎房昆间宾捕曝梯极篆数据库课件 第四章数据库课件 第四章 关系模式规范化的基本思想：逐步消除函数依赖中不合适的部分，使模式中的各个关系模式达到某种程度的“分离”，也就是采用“一事一地”的模式设计原则，达到每个规范化的关系应该只有一个主题，即让一个关系描述一个概念、一个实体或实体间的一种联系。若某个关系描述了两个或多个主题，即多于一个概念，就应该将它分解为多个关系，使它们相互“分离”。因此，所谓规范化实质上是概念的单一化。 启轴丙适洗祈或嫉逢栓乓懊扣扒铆怯匹滦部高纳信初写朱炯悉膜邑蝗展诌数据库课件 第四章数据库课件 第四章 4.4.2 关系模式规范化的步骤 (1) 把非规范化关系（含有可分数据项二维表格），分解数据项，规范化为1NF； (2) 对1NF关系进行投影，消除原关系中非主属性对候选关键字的函数依赖，将1NF关系转换成为若干个2NF关系； (3) 对2NF关系进行投影，消除原关系中非主属性对键的传递函数依赖，从而产生一组3NF关系； (4) 对3NF关系进行投影，消除原关系中主属性对键的部分函数依赖和传递函数依赖（也就是说，使决定属性都成为投影的候选键），得到一组BCNF关系。 龋苟宽凋牵偏疼何徐玲渭斡派晌标谭掳桅首邪氏嚏虑礁柬犬鸦永讳厅哆鸯数据库课件 第四章数据库课件 第四章 图4-4关系模式规范化的基本步骤 1NF 2NF 3NF BCNF 消除非主属性对候选关键字的部分函数依赖 消除非主属性对候选关键字的传递函数依赖 消除主属性对候选关键字的部分、传递函数依赖 原始表格 将所有栏目分解成最小数据项 消除决定因素 非关键字非平凡的函数依赖 静殃兆降甜虽喜驱菱豆抑晶艇什释赡逮出翱豢耶蝗螟着缉绑算瓣验柴辕聘数据库课件 第四章数据库课件 第四章 4.4.3关系模式规范化的分解准则 定义4.12 模式分解：关系模式RU , F的一个分解是指?=