h1第5章关系数据库理论.pptVIP

天津师范大学管理学院06/07[2] * 5.3 关系模式的规范化 5.3.1 关系模式的衡量标准 5.3.2 第一范式 5.3.3 第二范式 5.3.4 第三范式 5.3.5 BCNF 天津师范大学管理学院06/07[2] * 5.3.1 关系模式的衡量标准 1 关系模式的衡量标准 关系数据库中的关系要满足一定的要求。 满足不同程度的要求，即为不同的范式。 范式是关系模式的衡量标准。 天津师范大学管理学院06/07[2] * 5.3.1 关系模式的衡量标准 2 范式产生 1971~1972年， Codd系统提出了1NF、2NF、3NF。 1974年，Codd和Boyce又提出BCNF。 1976年，Fagin提出了4NF。 以后又有人提出5NF。 天津师范大学管理学院06/07[2] * 5.3.1 关系模式的衡量标准 3 范式之间的关系 人们将范式理解为符合某一种级别的关系模式的集合。因此，R为第几范式可以表示为： R∈xNF。 各种范式之间的关系是：5NF级别最高，1NF级别最低。 天津师范大学管理学院06/07[2] * 5.3.1 关系模式的衡量标准 5 规范化 一个低一级范式的关系模式，通过模式分解可以转换为若干个高一级范式的关系模式的集合。 范式的转换过程称为规范化。 天津师范大学管理学院06/07[2] * 5.3.2 第一范式范式 第一范式定义（1NF）： 如果某一个关系其每一个分量是不可分的数据项，那么这个关系模式属于第一范式。 讨论： 满足第一范式，是对关系的最基本要求。 天津师范大学管理学院06/07[2] * 5.3.2 第一范式范式 例5-10，关于描述学生基本情况和学习成绩的S-L-C关系： S-L-C(SNO,SDEPT,SLOC,CNO,GRADE) 其中： SLOC表示学生的住处，且每个系的学生住同一地方。 观察：显然S-L-C满足第一范式，元组的每个分量不可再分。 天津师范大学管理学院06/07[2] * 5.3.3 第二范式 第二范式定义（2NF） 若R∈1NF，且每一个非主属性完全依赖于侯选码，则R∈2NF。 讨论 第二范式消除了非主属性对侯选码的部分函数依赖。 天津师范大学管理学院06/07[2] * 5.3.3 第二范式 例5-11，分析关系模式 S-L-C(SNO,SDEPT,SLOC,CNO,GRADE)。是否符合2NF。(其中SLOC为学生宿舍,每个系的学生住在一起) 分析： 侯选码：(SNO，CNO) （只有一个） 函数依赖有： (SNO,CNO) GRADE ∵ SNO →SDEPT，∴（SNO，CNO） SDEPT ∵ SNO →SLOC ， ∴ (SNO，CNO) SLOC 此外， SDEPT →SLOC （3NF中讨论） 由部分函数依赖可知，关系模式S-L-C不符合2NF。 非主属性部分依赖 天津师范大学管理学院06/07[2] * 5.3.3 第二范式 当一个关系模式不属于2NF时，将会产生如下问题： 插入异常：如果插入一个学生记录，但该学生未选课，则CNO是空值，则破坏实体完整性。 删除异常：设某学生只选修一门课，且又不选了，则该学生的CNO值需要删除，但CNO是主属性，不能为空，若删除该学生记录，则该学生的其他信息也就丢失了。 更新异常：若某学生转系，需要修改SDEPT和SLOC。但该学生选课较多，则必须无遗漏地全部修改。否则更新异常。 冗余太大：重复数据多。 天津师范大学管理学院06/07[2] * 5.3.3 第二范式 如何解决不符合第二范式的关系模式？ 解决办法： 使用投影方法分解模式。 天津师范大学管理学院06/07[2] * 5.3.3 第二范式 例5-12，将符合1NF的关系模式 S-L-C(SNO,SDEPT,SLOC,CNO,GRADE) 通过投影方法进行分解，使之符合2NF。 分析：侯选码只有一个，即(SNO,CNO)。S-L-C中只有GRADE完全依赖于主码，而非主属性SDEPT和SLOC对主码部分依赖。 因此，将关系模式S-L-C分解为两个关系模式。 SC(SNO,CNO,G) 主码：(SNO,CNO) S-L(SNO,SDEPT,SLOC) 主码：SNO 这样，非主属性完