《上海商学院SQL》PPT课件

《《上海商学院SQL》PPT课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、上海商学院SQL数据库系统概论AnIntroductiontoDatabaseSystem第六章关系数据理论AnIntroductiontoDatabaseSystem第六章关系数据理论6.1问题的提出6.2规范化6.3数据依赖的公理系统*6.4模式的分解6.5小结AnIntroductiontoDatabaseSystem6.1问题的提出关系数据库逻辑设计针对具体问题，如何构造一个适合于它的数据模式数据库逻辑设计的工具──关系数据库的规范化理论AnIntroductiontoDatabaseSystem问题的提

2、出一、概念回顾二、关系模式的形式化定义三、什么是数据依赖四、关系模式的简化定义五、数据依赖对关系模式影响AnIntroductiontoDatabaseSystem一、概念回顾关系关系模式关系数据库关系数据库的模式AnIntroductiontoDatabaseSystem二、关系模式的形式化定义关系模式由五部分组成，即它是一个五元组：R(U,D,DOM,F)R：关系名U：组成该关系的属性名集合D：属性组U中属性所来自的域DOM：属性向域的映象集合F：属性间数据的依赖关系集合AnIntroductiontoDat

3、abaseSystem三、什么是数据依赖1.完整性约束的表现形式限定属性取值范围：例如学生成绩必须在0-100之间定义属性值间的相互关连（主要体现于值的相等与否），这就是数据依赖，它是数据库模式设计的关键AnIntroductiontoDatabaseSystem什么是数据依赖（续）2.数据依赖一个关系内部属性与属性之间的约束关系现实世界属性间相互联系的抽象数据内在的性质语义的体现AnIntroductiontoDatabaseSystem什么是数据依赖（续）3.数据依赖的类型函数依赖（FunctionalDep

4、endency，简记为FD）多值依赖（MultivaluedDependency，简记为MVD）其他AnIntroductiontoDatabaseSystem四、关系模式的简化表示关系模式R（U,D,DOM,F）简化为一个三元组：R（U,F）当且仅当U上的一个关系r满足F时，r称为关系模式R（U,F）的一个关系AnIntroductiontoDatabaseSystem五、数据依赖对关系模式的影响[例1]建立一个描述学校教务的数据库：学生的学号（Sno）、所在系（Sdept）系主任姓名（Mname）、课程名（C

5、name）成绩（Grade）单一的关系模式：StudentU＝｛Sno,Sdept,Mname,Cname,Grade｝AnIntroductiontoDatabaseSystem数据依赖对关系模式的影响（续）属性组U上的一组函数依赖F：F＝｛Sno→Sdept,Sdept→Mname,(Sno,Cname)→Grade｝SnoCnameSdeptMnameGradeAnIntroductiontoDatabaseSystem关系模式Student中存在的问题1.数据冗余太大2.更新异常（Up

6、dateAnomalies）3.插入异常（InsertionAnomalies）4.删除异常（DeletionAnomalies）AnIntroductiontoDatabaseSystem数据依赖对关系模式的影响（续）结论：Student关系模式不是一个好的模式。“好”的模式：不会发生插入异常、删除异常、更新异常，数据冗余应尽可能少原因：由存在于模式中的某些数据依赖引起的解决方法：通过分解关系模式来消除其中不合适的数据依赖AnIntroductiontoDatabaseSystem分解关系模式把这个单一模式分成

7、3个关系模式：S（Sno，Sdept，Sno→Sdept）;SC（Sno，Cno，Grade，（Sno，Cno）→Grade）;DEPT（Sdept，Mname，Sdept→Mname）AnIntroductiontoDatabaseSystem第六章关系数据理论6.1问题的提出6.2规范化6.3数据依赖的公理系统*6.4模式的分解6.5小结AnIntroductiontoDatabaseSystem6.2规范化规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、

8、更新异常和数据冗余问题。AnIntroductiontoDatabaseSystem6.2规范化6.2.1函数依赖6.2.2码6.2.3范式6.2.42NF6.2.53NF6.2.6BCNF6.2.7多值依赖6.2.84NF6.2.9规范化小结AnIntroductiontoDatabaseSystem6.2.1函数依赖函数依赖平凡函数依赖与非平凡函数依赖完全函数依赖与部