关系规范化理论教学精品.ppt

第4章 关系规范化理论;第一节 问题的提出;例： U={学号、姓名、学院名称、院长、项目编号、项目名称、承担任务、导师姓名} F={学号→姓名，学院名称 →院长,学号-学院名称，（学号，项目编号）?承担任务，项目编号?项目名称，学号?导师姓名};缺点：1、冗余太大 2、操作异常 1）插入异常 2）删除异常 3）修改异常;（1）第一种分解方法;（2）第二种分解方法 ;（3）第三种分解方法 ;（4）第四种分解方法 ;存在问题的原因;解决方法;规范化理论的提出;4.2 函数依赖和范式;或者说：设R(U)是一个关系模式，X，Y是U的子集，对于R中X的每一个值都有Y的唯一值与之对应，则称X函数确定Y或Y函数依赖于X，记作X→Y。;例：U={学号，系部，系主任，课程名称，成绩} F={学号→系部，系部 →系主任, (学号，课程名称) →成绩};由定义可以导出下列概念： 1. 决定因素：若X →Y，则X叫做决定因素 2. 平凡的函数依赖：X →Y，Y? X，则称X→Y是平凡的函数依赖。 3. 非平凡的函数依赖:X →Y，但Y X，则称X→Y是非平凡的函数依赖。 4. 互相依赖：若X→Y， Y→X， 则记作X ←→Y。 5. 若Y不函数依赖于X，则记作X Y。; 定义4.2 ：完全函数依赖 在R(U)中，如果X →Y，并且对于X的任何一个真子集X’，都有X’ Y，则称Y对X完全函数依赖。记作： ;学院;;工号;分析：;定义4.5：设K为R(U，F)中的属性或属性组，若 ，则K为R的候选码。;三、第一范式(1NF) 定义：满足关系的每一个分量是不可分的数据项这一条件的关系模式就属于第一范式(1NF)。;缺点1.插入异常2.删除异常3.冗余太大4.修改复杂;四、第二范式(2NF) 定义： 若R∈1NF，且每一个非主属性完全函数依赖于码，则R∈2NF。;成绩;四、第三范式(3NF) 定义：关系模式R(U，F)中若不存在这样的码X，属性组Y及非主属性组Z(Z?Y)使得X→Y，(Y →X) Y →Z成立，则称R(U，F)∈3NF。;例：项目(编号，项目名称，负责人，职务， 成员，任务情况) (假设:负责人无重名情况）;任务（编号，成员，任务情况） 项目（编号，项目名称，负责人，职务）;根据3NF要求;例：分析下列关系属于第几范式 推销员管理信息： （推销员编号，推销员姓名，物资号，物资名，物资价格，销售数量，销售区域） 假设推销员姓名无重名;关键字：推销员号＋物资号;销售数量;凡是满足3NF的关系，一般都能获得满意的效果。但是某些情况下，3NF仍会出现问题。 原因是没有对主属性与关键字之间给出任何限制，如果出现主属性部分或传递依赖于KEY，则也会使关系性能变坏;五、BCNF(扩充的3NF) 定义：关系模式R(U，F) ∈1NF。若 X→Y且Y ? X时X必含有码，则R(U，F) ∈BCNF。 即：关系模式R(U，F) 中，若每一个决定因素都包含码，则R(U，F) ∈BCNF。;一个满足BCNF的关系模式有: 所有非主属性对每一个码都是完全函数依赖。 所有主属性对每一个不包含它的码也是完全函数依赖。 没有任何属性完全函数依赖于非码的任何一组属性。;例：关系模式SJP（S，J，P） S：学生 [学生选修课程有一定的名次] J：课程 [每门课程中每一名次只有一个学生] P：名次 （名次没有并列） 函数依赖： （S，J）→ P （J，P）→ S 分析得知：SJP ∈ 3NF SJP ∈ BCNF;例：关系模式STJ（S，T，J） S：学生 [某一学生选定某门课，就对应一个固定教师] T：教师 [每个教师只教一门课] J： 课程 [每门课有若干教师] 函数依赖： （S，J）→ T （S，T）→ J 分析得知：STJ ∈ 3NF 但是：STJ ∈ BCNF 因为： T → J STJ可以分解为：ST（S，T）TJ（T，J）;六、多值依赖与第四范式（4NF）;… ;普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 …;