数据库系统傅呐论第六章.pptVIP

6.2 规范化（续） 但是满足3NF的关系模式也未必就是好的关系模式。 如：关系模式STC(S,T,C)中，S表示学生，T表示教师，C表示课程。假设每个教师只教一门课，每门课由若干教师教，某一学生选定某门 课，就对应一个固定的教师。 函数依赖集：(S,T) ? C，(S,C) ?T，T?C, S ?C (S,T)、 (S,J) 都是候选码。 T,S只是主属性，既不是候选码，也不包含候选码，原因是T?C,S?C，即主属性C部分函数依赖于(S,T) 。解决办法是将STC分解。 因此，引入一个新的范式, BCNF 范式，称为修正的或扩充的第三范式。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 6.2 规范化（续） 3、范式(NF) Boyce-Codd(BCNF)范式 关系模式R(U,F)∈1NF，若X→Y且Y?X时X必包含码，则R(U,F) ∈ BCNF。 即：关系中的每一个决定因素都包含码。 一个满足BCNF的关系模式有： 所有非主属性对每个码都是完全函数依赖 所有的主属性对每一个不包含它的码，也是完全函数依赖 没有任何属性完全函数依赖于非码的任何一组属性 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 6.2 规范化（续） 3、范式(NF) Boyce-Codd(BCNF)范式 解决办法： 发现和抹去具有函数依赖关系主属性 把候选键的一部分和与它有函数依赖关系的属性放入另外的表中 组合剩余的项为一个表 将关系STC分解为ST(S,T) TJ(T,C) 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. 答案： 函数依赖集包括： 职工编号→仓库编号， (仓库编号，配件编号)→数量， (职工编号，配件编号)→数量 (职工编号，配件编号)→仓库编号 码为: (职工编号，配件编号) 练习： 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. 数据库原理与应用 数据库系统概论 第四版 王 珊 萨师煊 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第6章 关系数据理论 数据库设计的一个最基本的问题是怎样建立一个好的数据库模式。Codd提出了一套关系数据库设计理论—关系的规范化理论，根据现实世界存在的数据依赖进行关系模式的规范化处理，从而得到一个好的数据库设计。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 6.1 问题的提出 1、问题的提出 关系的描述：R(U,D,DOM,F) 关系是一个五元组。R为关系名，U为属性集合，D为属性组U中属性所来自的域，DOM为属性到域的映射集合，F为属性间数据的依赖关系集合。 Evaluation only. Created wi