教据库系统概论 An Introduction to Database system 第九章关系数据理论
数据库系统概论 An Introduction to Database System 第九章 关系数据理论
第九章关系数据理论 9.1问题的提出 9.2规范化 *9.3数据依赖的公理系统 *9.4模式的分解 9.5小结
第九章 关系数据理论 9.1 问题的提出 9.2 规范化 * 9.3 数据依赖的公理系统 *9.4 模式的分解 9.5 小结
91向题的提出 关系数据库逻辑设计 ■针对具体问题,如何构造一个适合于它的数 据模式 ■数据库逻辑设计的工具一一关系数据库的规 范化理论
9.1 问题的提出 关系数据库逻辑设计 ◼ 针对具体问题,如何构造一个适合于它的数 据模式 ◼ 数据库逻辑设计的工具──关系数据库的规 范化理论
向题的提出 概念回顾 关系模式的形式化定义 什么是数据依赖 四、关系模式的简化定义 五、数据依赖对关系模式影响
问题的提出 一、概念回顾 二、关系模式的形式化定义 三、什么是数据依赖 四、关系模式的简化定义 五、数据依赖对关系模式影响
、概念回顾 关系:描述实体、属性、实体间的联系。 从形式上看,它是一张二维表,是所涉及属性的笛 卡尔积的一个子集 ■关系模式:用来定义关系 关系数据库:基于关系模型的数据库,利用关系来描 述现实世界。 ■从形式上看,它由一组关系组成 关系数据库的模式:定义这组关系的关系模式的全体
一、概念回顾 ◼ 关系:描述实体、属性、实体间的联系。 ◼ 从形式上看,它是一张二维表,是所涉及属性的笛 卡尔积的一个子集。 ◼ 关系模式:用来定义关系。 ◼ 关系数据库:基于关系模型的数据库,利用关系来描 述现实世界。 ◼ 从形式上看,它由一组关系组成。 ◼ 关系数据库的模式:定义这组关系的关系模式的全体
二、关系模式的形式化定义 系模式由五部分组成,即它是一个五元组: RqU, D, DOM, F) 关系名 RUD 组成该关系的属性名集合 属性组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)的一个关系