中国高校课件下载中心 》 教学资源 》 大学文库

《数据库原理》第五章 关系数据理论

文档信息
资源类别:文库
文档格式:PPT
文档页数:143
文件大小:287.5KB
团购合买:点击进入团购
内容简介
第五章关系数据理论 5.1问题的提出 5.2规范化 5.3数据依赖的公理系统 5.4模式的分解 5.5小结
刷新页面文档预览

教据库系統概论 第五章关系数据理论 计算机科学与技术学院

计算机科学与技术学院 数据库系统概论 第五章 关系数据理论

第五章关系数据理论 5.1问题的提出 5.2规范化 5.3数据依赖的公理系统 *54模式的分解 5.5小结

第五章 关系数据理论 5.1 问题的提出 5.2 规范化 5.3 数据依赖的公理系统 *5.4 模式的分解 5.5 小结

51问题的提出 关系数据库逻辑设计 ■针对具体问题,如何构造一个适合于它的数据模 式,即应该构造几个关系模式,每个关系由哪些 属性组成等 ■数据库逻辑设计的工具—一关系数据库的规范化理 论

5.1 问题的提出 关系数据库逻辑设计 ◼ 针对具体问题,如何构造一个适合于它的数据模 式,即应该构造几个关系模式,每个关系由哪些 属性组成等。 ◼ 数据库逻辑设计的工具──关系数据库的规范化理 论

向题的提出 概念回顾 二、关系模式的形式化定义 、什么是数据依赖 四、关系模式的简化定义 五、数据依赖对关系模式影响

问题的提出 一、概念回顾 二、关系模式的形式化定义 三、什么是数据依赖 四、关系模式的简化定义 五、数据依赖对关系模式影响

概念回顾 ■关系:描述实体、属性、实体间的联系 ■从形式上看,它是一张二维表,是所涉及属性的笛 卡尔积的一个子集 ■关系模式:用来定义关系 ■关系数据库:基于关系模型的数据库,利用关系来描 述现实世界。 从形式上看,它由一组关系组成 关系数据库的模式:定义这组关系的关系模式的全体

一、概念回顾 ◼ 关系:描述实体、属性、实体间的联系。 ◼ 从形式上看,它是一张二维表,是所涉及属性的笛 卡尔积的一个子集。 ◼ 关系模式:用来定义关系。 ◼ 关系数据库:基于关系模型的数据库,利用关系来描 述现实世界。 ◼ 从形式上看,它由一组关系组成。 ◼ 关系数据库的模式:定义这组关系的关系模式的全体

二、关系模式的形式化定义 关系模式由五部分组成,即它是一个五元组: RqU, D, DOM, F) R: 关系名 组成该关系的属性名集合 D: 属性组U中属性所来自的域 DOM:属性向域的映象集合 属性间数据的依赖关系集合

二、关系模式的形式化定义 关系模式由五部分组成,即它是一个五元组: R(U, D, DOM, F) R: 关系名 U: 组成该关系的属性名集合 D: 属性组U中属性所来自的域 DOM: 属性向域的映象集合 F: 属性间数据的依赖关系集合

三、什么是数据依赖 1.完整性约束的表现形式 ■限定属性取值范围:例如学生成绩必须 在0-100之间 ■定义属性值间的相互关连(主要体现于 值的相等与否),这就是数据依赖,它 是数据库模式设计的关键

三、什么是数据依赖 1. 完整性约束的表现形式 ◼ 限定属性取值范围:例如学生成绩必须 在0-100之间 ◼ 定义属性值间的相互关连(主要体现于 值的相等与否),这就是数据依赖,它 是数据库模式设计的关键

什么是数据依赖(续) 2.数据依赖 ■是通过一个关系中属性间值的相等与否 体现出来的数据间的相互关系 ■是现实世界属性间相互联系的抽象 ■是数据内在的性质 ■是语义的体现

什么是数据依赖(续) 2. 数据依赖 ◼ 是通过一个关系中属性间值的相等与否 体现出来的数据间的相互关系 ◼ 是现实世界属性间相互联系的抽象 ◼ 是数据内在的性质 ◼ 是语义的体现

什么是数据依赖(续) 3.数据依赖的类型 函数依赖( Functional Dependency,简记为FD) ■多值依赖( Multivalued Dependency,简记为MVD) 其他

什么是数据依赖(续) 3. 数据依赖的类型 ◼ 函数依赖(Functional Dependency,简记为FD) ◼ 多值依赖(Multivalued Dependency,简记为MVD) ◼ 其他

四、关系模式的简化表示 关系模式R(U,D,DOM,F) 简化为一个三元组: R(U, F ●当且仅当U上的一个关系广满足F时,「称为关 系模式R(U,F)的一个关系

四、关系模式的简化表示 ● 关系模式R(U, D, DOM, F) 简化为一个三元组: R(U, F) ● 当且仅当U上的一个关系r 满足F时,r称为关 系模式 R(U, F)的一个关系

刷新页面下载完整文档
VIP每日下载上限内不扣除下载券和下载次数;
按次数下载不扣除下载券;
注册用户24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
相关文档