WindowsServer数据库课件-第06章关系数据理论(1-2)

《WindowsServer数据库课件-第06章关系数据理论(1-2)》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、数据库系统概论AnIntroductiontoDatabaseSystem第六章关系数据理论学习目标理解关系模式可能的四种异常掌握函数依赖的基本概念掌握1NF、2NF、3NF、BCNF和4NF的概念和特点掌握规范化的基本步骤第六章关系数据理论6.1问题的提出6.2规范化6.3数据依赖的公理系统*6.4模式的分解6.1问题的提出关系数据库逻辑设计针对具体问题，如何构造一个适合的数据模式？构造几个关系，每个关系由哪些属性组成等数据库逻辑设计的工具──关系数据库的规范化理论规范化理论虽然以关系模型为背景，但对一般数据库也具有理论上的意义6.1问题的提出1概念回顾2关系模式

2、的形式化定义3什么是数据依赖4数据依赖对关系模式影响6.1问题的提出1.概念回顾(1)关系描述实体、属性、实体间的联系。从形式上看，它是一张二维表，是所涉及属性的笛卡尔积的一个子集。(2)关系模式用来定义关系，是关系结构的描述。(3)关系数据库基于关系模型的数据库，利用关系来描述现实世界。从形式上看，它由一组关系组成。6.1问题的提出1.概念回顾(续)(4)关系数据库的模式数据库由若干关系组成，这些关系的关系模式的集合。设：任一关系模式用Ri表示，X=R1∪R2∪…∪Rn则：Ω={R1,R2,…,Rn}就是X上的一个数据库模式6.1问题的提出例如：描述一个在校学生的

3、学习情况，会涉及到如下属性：Sno，Sname，Ssex，Sage，Sdept，Cno，Cname，Ccredit，Grade等如何组织这些数据？6.1问题的提出给出以下两种数据库模式：1.Ω={R11,R12}R11={Sno，Sname，Ssex，Sage，Sdept}R12={Sno，Cno，Cname，Ccredit，Grade}2.Ω={R21,R22,R23}R11={Sno，Sname，Ssex，Sage，Sdept}R12={Sno，Cno，Grade}R13={Cno，Cname，Ccredit}从理论上找到判断设计“好”的数据库的模式的标准哪种数

4、据库模式好？6.1问题的提出1概念回顾2关系模式的形式化定义3什么是数据依赖4数据依赖对关系模式影响6.1问题的提出2.关系模式的形式化定义关系模式由五部分组成，即它是一个五元组：RR：关系名U：组成该关系的属性名集合D：属性组U中属性所来自的域DOM：属性向域的映象集合F：属性间数据的依赖关系集合6.1问题的提出2.关系模式的形式化定义关系模式由五部分组成，即它是一个五元组：RR：关系名U：组成该关系的属性名集合F：属性间数据的依赖关系集合把关系模式简化为一个三元组：R含义：当且仅当U上的一个关系r满足F时，r

5、称为关系模式R(U,F)的一个关系。6.1问题的提出1概念回顾2关系模式的形式化定义3什么是数据依赖4数据依赖对关系模式影响6.1问题的提出3.什么是数据依赖?(1)数据依赖是现实世界属性间相互联系的抽象表示一个关系中属性间存在的一种限制和制约关系是数据内在的性质是语义的体现例如：学生关系有Sno，Sname，Sdept等属性属性间存在以下依赖：Sno→Sname;Sno→Sdept6.1问题的提出(2)数据依赖的类型函数依赖(FunctionalDependency，简记为FD)多值依赖(MultivaluedDependency，简记为MVD)其他3.什么是数据

6、依赖?6.1问题的提出1概念回顾2关系模式的形式化定义3什么是数据依赖4数据依赖对关系模式影响6.1问题的提出4.数据依赖对关系模式的影响例：描述一个学校的数据库：(1)管理的数据学生学号(Sno)、所在系(Sdept)、课程号(Cno)、成绩(Grade)、系主任姓名(Mname)单一的关系模式：StudentU＝｛Sno,Sdept,Mname,Cno,Grade｝6.1问题的提出4.数据依赖对关系模式的影响例：描述一个学校的数据库(续)：(2)学校数据库的语义：一个系有若干学生，一个学生只属于一个系;一个系只有一名主任；一个学生可选修多门课程，每门课

7、程有若干学生选修每个学生所学的每门课程都有一个成绩。6.1问题的提出4.数据依赖对关系模式的影响例：描述一个学校的数据库(续)：U＝｛Sno,Sdept,Mname,Cno,Grade｝(3)确定属性组U上的一组函数依赖F：F＝{Sno→Sdept,Sdept→Mname,(Sno,Cno)→Grade}SnoCnoSdeptMnameGrade6.1问题的提出4.数据依赖对关系模式的影响SnoSdeptMnameCnoGradeS1计算机系张明C195S1计算机系张明C290S3计算机系张明C188S4计算机系张明C170S5计算机系张明C178Student