[理学]第七章 关系数据库理论.ppt

* * * * * * * 函数依赖及其关系的范式 非主属性对码的函数依赖： {(学号，课程名)→姓名，(学号，课程名)→年龄，(学号，课程号)→性别 ， (学号，课程名)→系名，(学号，课程名)→系主任；(学号，课程名)→成绩}.显然，教学模式不服从2NF，即：教学?2NF。 P P P P P 函数依赖及其关系的范式 关系模式R〈U，F〉中若不存在这样的码X、属性组Y及非主属性Z(ZY)使得X→Y、Y X、Y→Z成立，则称R〈U，F〉?3NF。可以证明，若R?3NF，则每一个非主属性既不部分函数依赖于码，也不传递函数依赖于码。 函数依赖及其关系的范式 考查学生_系关系，由于存在：学号→系名，系名→系主任。 则： 学号 → 系主任。所以学生_系?3NF。如果分解为： 学生(学号，姓名，年龄，性别，系名)； 教学系(系名，系主任).显然分解后的各子模式均属于3NF。 传递 函数依赖及其关系的范式 关系模式R〈U，F〉?1NF。若X→Y且YX时X必含有码，则R〈U，F〉?BCNF。也就是说，关系模式R〈U，F〉中，若每一个决定因素都包含码，则R〈U，F〉?BCNF。由BCNF的定义可以得到结论，一个满足BCNF的关系模式有：1) 所有非主属性对每一个码都是完全函数依赖。2) 所有的主属性对每一个不包含它的码，也是完全依赖。3) 没有任何属性完全函数依赖于非码的任何一组属性。 函数依赖及其关系的范式 1) BCNF不仅强调其他属性对码的完全的直接的依赖，而且强调主属性对码的完全的直接的依赖，它包括3NF，即R?BCNF，则R一定属于3NF。2) 3NF只强调非主属性对码的完全直接依赖，这样就可能出现主属性对码的部分依赖和传递依赖。 函数依赖及其关系的范式 例如，关系模式STJ(S，T，J)中，S表示学生，T表示教师，J表示课程。语义为：每一教师只能讲授一门课程，每门课程由若干教师讲授；每个学生选修某门课程就对应一个固定的教师。由语义可以得到STJ模式的函数依赖为： F={(S，J)→T，T→J}显然：(S，J)和(T，S)都是关系的码；关系的主属性集为{S，T，J}，非主属性为?（空集）。P由于STJ模式中无非主属性，所以它属于3NF；但因为存在T→J，由于T不是码，故STJ?BCNF。 * * * * * * * * * * * * * * * * * * * * * * * * * * 第七章 关系数据库理论 本章教学目标、重点和难点 1. 本章教学目标：使学生了解关系模式规范化的必要性，理解函数依赖、多值依赖及其关系范式定义，掌握关系范式判断方法。 2. 教学重点：关系模式规范化，函数依赖、多值依赖、1-4NF的定义，关系范式判断方法。 3. 教学难点：1-4NF的定义，关系范式判断方法。 关系模式规范化的提出 1. 范式（Normal Form）是指规范化的关系模式。 2. 由满足最基本规范化的关系模式叫第一范式，第一范式的关系模式再满足另外一些约束条件就产生了第二范式、第三范式、BC范式等等。 3. 一个低一级的关系范式通过模式分解可以转换成若干高一级范式的关系模式的集合，这种过程叫关系模式的规范化。 关系模式规范化的提出 要求设计教学管理数据库，其关系模式SCD如下： SCD(SNO,SN,AGE,DEPT,MN,CNO,SCORE) 其中，SNO表示学生学号，SN表示学生姓名，AGE表示学生年龄，DEPT表示学生所在的系别，MN表示系主任姓名，CNO表示课程号，SCORE表示成绩。 关系模式规范化的提出 根据实际情况，这些数据有如下语义规定： 1. 一个系有若干个学生，但一个学生只属于一个系； 2. 一个系只有一名系主任，但一个系主任可以同时兼几个系的系主任； 3. 一个学生可以选修多门功课，每门课程可有若干学生选修； 4. 每个学生学习课程有一个成绩。 在此关系模式中填入一部分具体的数据，则可得到SCD关系模式的实例，即一个教学管理数据库，如图所示。 关系模式规范化的提出 SNO SN AGE DEPT MN CNO SCORE S1 赵亦 17 计算机 刘伟 C1 90 S1 赵亦 17 计算机 刘伟 C2 85 S2 钱尔 18 信息 王平 C5 57 S2 钱尔 18 信息 王平 C6 80 S2 钱尔 18 信息 王平 C7 ?70 S2 钱尔 18 信息 王平 C5 70 S3 孙珊 20 信息 王平 C1 0 S3 孙珊 20 信息 王平 C2 70 S3 孙珊 20 信息 王平 C4 85 S4