数据库系统概论.pptVIP

第六章 关系数据理论 苟仕蓉 主要内容 问题的提出 规范化 数据依赖的公理系统 模式的分解 教学目标 通过本章的学习,使学生能够: 掌握函数依赖、码、范式、2NF、3NF、BCNF的概念，并进行区分 明确关系模式规范化的必要性 应用范式知识，能够把低级别的关系模式规范化到高级别的关系模式 教学重点 问题的提出 规范化（*） 数据依赖的公理系统 模式的分解 教学难点 问题的提出 规范化（**） 数据依赖的公理系统 模式的分解 6.1 问题的提出 关系数据模式： R(U,D,dom,F) 或者R(U,F) 示例 Student(sno,sname,sdept) Sno → sname sno → sdept 关系的最基本要求： 1NF(第一范式) 6.1 问题的提出（续） 满足1NF的数据模式是否就是一个好的数据模式？ 示例 某学校教务管理,其学生关系的一个模式所对应的U是： U={Sno,Sdept,Mname,Cno,Grade} 6.1 问题的提出（续） 6.1 问题的提出（续） 存在的问题： 数据冗于太大 更新异常(update anomalies) 插入异常(insertion anomalies) 删除异常(deletion anomalies) 6.1 问题的提出（续） 问题的原因： F={SNO →SDEPT, SDEPT →MName, (SNO,CNO) →G} 6.1 问题的提出（续） 解决办法： 进行模式分解，消除关系模式中一些不好的函数依赖 示例：分解的结果 S(Sno,Sdept) SG(Sno,Cno,Grade) DEPT(Sdept,Mname) 6.2 规范化 函数依赖 码 范式 1NF 2NF 3NF BCNF 4NF 总结 作业 6.2 规范化——函数依赖 定义6.1 设R(U)是属性集U上的关系模式。X，Y是U的子集。若对于R(U)的任意一个可能的关系r,r中不可能存在两个元组在X的属性值相等，而在Y上的属性值不等，则称X函数决定Y或Y函数依赖于X，记作X→Y 6.2 规范化——函数依赖 几个概念 非平凡的函数依赖：X→Y，Y不包含于X 平凡的函数依赖：X→Y，Y包含于X X是决定因素： X→Y 若 X →Y，Y →X,则记为X ←→Y 若Y不函数依赖于X，则记为…… 6.2 规范化——函数依赖 定义6.2 在R(U)中，如果X→Y，并且对于X的任何一个真子集X`，都有X`不函数决定Y，则称Y对X完全函数依赖，记作： 6.2 规范化——函数依赖 示例1 s(sno,sname,sdept,sage) sno→sname sno →sdept sno →sage 示例2 sc(sno,cno,grade) (sno,cno) →grade 6.2 规范化——函数依赖 定义6.3 在R(U)中，如果X→Y，Y不包含于X，Y不函数决定X，Y → Z，则称Z对X传递函数依赖 作业p196第1,2,9,10题 6.2 规范化——函数依赖 示例 student(snum,sname,mayjor,level,age) course(cname,meets_at,room,tid) enrolled(snum,canme,grade) teacher(tid,tname,dep) 6.2 规范化——码 定义6.4 设K为RU,F中的属性或属性组合，若U完全函数依赖于K，则K为R的候选码，若候选码多于一个，则选定其中一个作为主码 几个相关概念 主属性，非主属性，非码属性(非主属性)，全码 6.2 规范化——码 定义6.5 关系模式R中属性或属性组X并非R的码，但X是另一个关系模式的码，则称X是R的外部码，也称码 6.2.4 2NF 定义6.6 若R∈1NF，且每一个非主属性完全函数依赖于码，则R ∈2NF 示例 S-L-C(Sno,Sdept,Sloc,Cno,Grade) 语义：每个系的学生住在同一个地方 问题：这样的关系模式是否符合1NF，是否符合2NF，是否是好的关系模式？ 6.2.4 2NF 存在问题： 插入异常 删除异常 修改复杂 问题的原因： 写出函数依赖集 判断主码，判断是否存在不好的函数依赖 6.2.4 2NF 第一步：sno→sdept ，sno →sloc，(sno,cno) →grade；得出函数依赖图 第二步：确定码为(sno,cno)，Sdept、Sloc、Grade为非主属性 第三步： (Sno,Cno)→Sdept ：部分函数依赖 (Sno,Cno)→Sloc：部分函数依赖 (sno,cno) →Grade：完全函数依赖 结论：结果仅达到1NF的要求 6.2.4 2NF 解决办法：