第七章关系数据库理论.pptVIP

函数依赖及其关系的范式 非主属性对码的函数依赖： {(学号，课程名)→姓名，(学号，课程名)→年龄，(学号，课程号)→性别 ， (学号，课程名)→系名，(学号，课程名)→系主任；(学号，课程名)→成绩}.显然，教学模式不服从2NF，即：教学?2NF。 P P P P P Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 函数依赖及其关系的范式 关系模式R〈U，F〉中若不存在这样的码X、属性组Y及非主属性Z(ZY)使得X→Y、Y X、Y→Z成立，则称R〈U，F〉?3NF。可以证明，若R?3NF，则每一个非主属性既不部分函数依赖于码，也不传递函数依赖于码。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 函数依赖及其关系的范式 考查学生_系关系，由于存在：学号→系名，系名→系主任。 则： 学号 → 系主任。所以学生_系?3NF。如果分解为： 学生(学号，姓名，年龄，性别，系名)； 教学系(系名，系主任).显然分解后的各子模式均属于3NF。 传递 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 函数依赖及其关系的范式 关系模式R〈U，F〉?1NF。若X→Y且YX时X必含有码，则R〈U，F〉?BCNF。也就是说，关系模式R〈U，F〉中，若每一个决定因素都包含码，则R〈U，F〉?BCNF。由BCNF的定义可以得到结论，一个满足BCNF的关系模式有：1) 所有非主属性对每一个码都是完全函数依赖。2) 所有的主属性对每一个不包含它的码，也是完全依赖。3) 没有任何属性完全函数依赖于非码的任何一组属性。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 函数依赖及其关系的范式 1) BCNF不仅强调其他属性对码的完全的直接的依赖，而且强调主属性对码的完全的直接的依赖，它包括3NF，即R?BCNF，则R一定属于3NF。2) 3NF只强调非主属性对码的完全直接依赖，这样就可能出现主属性对码的部分依赖和传递依赖。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 函数依赖及其关系的范式 例如，关系模式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。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * * * * * * * * * * * * * * * * * * * * * * * * 第七章 关系数据库理论 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 本章教学目标、重点和难点 1. 本章教学目标：使学生了解关系模式规范化的必要性，理解函数依赖、多值依赖及其关系范式定义，掌握关系范式判断方法。 2. 教学重点：关系模式规范化，函数依赖、多值依赖、1-4NF的定义，关系范式判断方法。 3. 教学难点：1-4NF的定义，关系范式判断方法。 E