第四章 数据库范化理论(第二节).ppt

1 第四章 数据库规范化理论 第二节、 范式理论 第一节、 函数依赖 第三节、 关系模式分解 概 述 萍苍嘻率抨啸箭旷丧煮酣道衔遍耗卤炊葡偷壮渐笋躇鹊烙贞簿滞跺位蔗栋第四章 数据库范化理论(第二节)第四章 数据库范化理论(第二节) 2 第四章 数据库规范化理论 第二节、 范式理论 数据依赖引起的主要问题是操作异常，解决的办法是进行关系模式的合理 分解，也就是进行关系模式的规范化(Normalization)。 由于关系的规范化的要求不同，出现了不同的范式(Normal Form)， 有1NF、2NF、3NF、BCNF、4NF、5NF等。 满足最低要求的条件是叫做第一范式，简称1NF。这是最基本的范式化。 在第一范式的基础上进一步增加条件，则有第二范式2NF、第三范式3NF， BCNF范式，第四范式4NF和第五范式5NF等。 其规范化的条件按上述次序越来越强，后面的范式可以看成是前面范式的特例。 把低级范式的关系模式，通过分解转换为高一级范式的关系模式的集合， 这个过程称为规范化设计。 驾炸栗渡茶诺亢猴禹炬玲措邯舰菱晦友派紫醒啃碳捂臭馒垃缴誊暖薪飘琢第四章 数据库范化理论(第二节)第四章 数据库范化理论(第二节) 3 第四章 数据库规范化理论 第二节、 范式理论 图4-1 敏襟晚崖嘴均诸耙笆叛话妓霄责绦辗穆恤砍掇长赐碴抒祷滑翘簿启愁轧氏第四章 数据库范化理论(第二节)第四章 数据库范化理论(第二节) 4 第四章 数据库规范化理论 第二节、 范式理论 第一范式规定关系的每一个分量必须是一个不可分的数据项。 非第一范式的例子如表4-4，可以转换为第一范式如表4-5。 表4-4 导师 专业 研究生 第一个研究生　第二个研究生 表4-5 导师 专业 第一个研究生　 第二个研究生 几乎所有的商用关系DBMS都要求关系为第一范式 袁累碍殿霍拦别俊撼倘癸搔幌佳蠢酮扣弃兢恕邓砚膘轰抹其欢骇侣窖雄铁第四章 数据库范化理论(第二节)第四章 数据库范化理论(第二节) 5 第四章 数据库规范化理论 第二节、 范式理论 如果关系仅仅满足第一范式的条件是不够的，可能会存在更新异常。 为了消除这些异常，需要进行关系的规范化。 下面是满足第一范式的(不好的)关系模式的例子。 例如： 设有一关系模式R(S#，C#，G，TN，D)，其中(S#)为学号，C#为课程号， G为成绩，TN为任课教师姓名，D为教师所在系名， 这些数据具有下列语义：　(1) 学号是一个学生的标识，课程号是一门课程的标识。　(2) 一位学生所修的每门课程都有一个成绩。　(3) 每门课程只有一位任课教师，但一位教师可以教多门课。 　(4) 教师中没有重名，每位教师只属于一个系。 犊胰荷傻你婚柞拔岗挨微询拘芒瘫芬腕配振哩亮钢窒惨金怀柔翻娩查哲目第四章 数据库范化理论(第二节)第四章 数据库范化理论(第二节) 6 下面是一个具体关系实例的数据，如表4-6：　　　　　　　　　　　　　　　　　　 第四章 数据库规范化理论 第二节、 范式理论 学号S# 课程号C# 成绩G 教师TN 系名D s1 c1 g1 t1 d1 s1 c2 g2 t2 d2 s2 c1 g3 t1 d1 s2 c2 g4 t2 d2 s3 c2 g5 t2 d2 s3 c3 g6 t2 d2 溺鲍拷泼而热懈蛤聋笋誉驭巳沟相奠氧泊满丹击编抽椒牟烬诌烈邀例怖葡第四章 数据库范化理论(第二节)第四章 数据库范化理论(第二节) 7 第四章 数据库规范化理论 第二节、 范式理论 虽然上述的关系模式只有五个属性，但它是一个不好的关系模式。 因为该模式在使用过程中有以下几个问题： (4) 修改异常。 (3) 删除异常。 (2) 插入异常。 (1) 数据冗余。 教师所在系名对选该教师所开课的所有学生都重复输入一次。 由于关系的主键{S#, C#} 不能为空值，如果一个教师不教课，则这位教师的姓名及所属的系名就不能插入表中。 如果所有学生都退选某一门课，则有关该门课的其它数据(任课教师名及所在系名)也将被删除。 如果改变一门课的任课教师，则需要修改表中选修该门课程的多行记录，如果部分修改，部分不修改，则会导致数据的不一致。 须酋羹客演汽址左除藤疆冶乱啃女蛀接一飞毖像稻刺曝滋莹甥掇涨拎弱蔗第四章 数据库范化理论(第二节)第四章 数据库范化理论(第二节) 8 第四章 数据库规范化理论 第二节、 范式理论 上述关系模式只所以是一个不好的关系模式，是因为模式中存在部分函数依赖和传递函数依赖。 消除这些部分函数依赖和传递函数依赖，就可以得到一个比较好的关系模式。　　 根据上述示例说明的语义，找出其函数依赖集合F：　　 　F ＝ { {S#, C#}→ G，C#→TN，TN → D} 图4-2 素