第四章关系数据库 设计 理论.pptVIP

范式关系图 定义 范式是对关系的不同数据依赖程度的要求 通过模式分解将一个低级范式转换为若干个高级范式的过程称作规范化（概念的纯粹化） 1NF 定义 关系中每一分量不可再分。即不能以集合、序列等作为属性值 2NF 关系模式SCD(Sno , Sname , Dept , Mn, Cno , Score) 不良特性 插入异常：如果学生没有选课，关于他的个人信息及所在系的信息就无法插入 删除异常：如果删除学生的选课信息，则有关他的个人信息及所在系的信息也随之删除了 更新异常：如果学生转系，若他选修了k门课，则需要修改k次 数据冗余：如果一个学生选修了k门课，则有关他的所在系的信息重复 2NF 定义 若R?1NF，且每个非主属性完全依赖于码，则称R?2NF 消除非主属性对码的部分依赖 如S?2NF，因为 2NF 改造 非主属性有两种，一种完全依赖于码，一种部分依赖于码。 将S分解为： SC(Sno , Cno , Score) S_SD(Sno , Sname , Dept , Mn) S_SD(Sno , Sname , Dept , Mn) 不良特性 插入异常：如果系中没有学生，则有关系的信息就无法插入 删除异常：如果学生全部毕业了，则在删除学生信息的同时有关系的信息也随之删除了 更新异常：如果学生转系，不但要修改Dept，还要修改Mn，如果换系主任，则该系每个学生元组都要做相应修改 数据冗余：每个学生都存储了系主任的信息 3NF 定义 关系模式R U , F 中，若不存在这样的码X，属性组Y及非主属性Z(Z Y)，使得下式成立， X?Y , Y?Z , Y?X 则称R?3NF 消除非主属性对码的传递依赖 如S_SD ?3NF，因为有Sno?Dept，Dept?Mn 3NF 改造 将S_SD分解为 STUDENT(Sno , Sname , Dept) DEPT(Dept , Mn) BCNF 示例 STC(S# , T# , C#) T# ? C#，每位老师只教授一门课 （S#，T#）? C#，某学生选定一位老师，就对应一门课 （S#，C#）? T#，某学生选定一门课，就对应一位老师 （S#，T#）、（S#，C#）为候选码。 思考 STC ? 3NF ？ BCNF 不良特性 插入异常：如果没有学生选修某位老师的任课，则该老师担任课程的信息就无法插入 删除异常：删除学生选课信息，会删除掉老师的任课信息 更新异常：如果老师所教授的课程有所改动，则所有选修该老师课程的学生元组都要做改动 数据冗余：每位学生都存储了有关老师所教授的课程的信息 症由： 主属性对码的不良依赖 BCNF 定义 关系模式R U , F 中，对于属性组X，Y，若X?Y且Y X时X必含有码，则R U , F ?BCNF 如STC ? BCNF，因为T# ? C#，而T不含有码 改造 将S分解为（S#，T#），（T#，C#） BCNF 思考 (S# , C# , ORDER)，表示学生选修课程的名次，有函数依赖(S#，C#)? ORDER， (C#，ORDER) ? S#，它属于BCNF吗？ 范式之间的关系 3NF ? 2NF 反证：若R?3NF， 但R?2NF，则按2NF定义，一定有非主属性部分依赖于码 设X为R的码，则存在X的真子集X′，以及非主属性Z（Z X′），使得X′?Z 于是在R中存在码X，属性组X′，以及非主属性Z（Z X′) ，使得X?X′， X′?Z，X?Z成立，这与R?3NF矛盾。 所以R?2NF 范式之间的关系 BCNF ? 3NF 4NF ? BCNF 逻辑蕴涵 定义 关系模式R，F是其函数依赖，X，Y是其属性子集，如果从F的函数依赖能够推出X?Y，则称F逻辑蕴涵X?Y，记作F├ X?Y 被F所逻辑蕴涵的函数依赖的全体所构成的集合称作F的闭包，记作F+ = {X?Y | F├ X?Y} Armstrong公理系统 Armstrong公理 U为属性集，F是U上的一组函数依赖，对关系模式RU,F, X，Y，Z是属性集 自反律(reflexivity)：若Y ? X， 则X ? Y 增广律(augmentation)：若X ? Y ，则XZ ? YZ 传递律(transitivity)：若X ? Y，Y ? Z，则X ? Z Armstrong公理系统 关于Armstrong公理正确性 Armstrong公理系统 Armstrong公理系统 Armstrong公理系统 由Armstrong公理导出的推理规则 合并律(union rule) 若X ? Y，X ? Z，则X ? YZ Armstrong公理系统 由Armstrong