第5章节 关系数据理论.pptVIP

第5章 关系数据理论 5.1 基本概念 5.2 范式 5.3 Armstrong公理系统 5.4 模式分解 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第5章 关系数据理论 以学生成绩管理应用为例说明数据库模式的“好”与“坏”。设数据库模式schema_1： 学生（学号，姓名，性别，出生日期，专业，课程号，课程名，学分，成绩）。 表5.1为该数据库模式在某时刻的一个数据实例。 表5.1 学生表 程序设计 思想道德 修养与法 学 号 姓 名 性 别 出 生 日 期 专 业 课 程 号 课 程 名 学 分 成 绩王林 男 1989-3-2 计算机应用 101 思想道德修养与法律基础 2 80王林 男 1989-3-2 计算机应用 102 马克思主义基本原理 2 68王林 男 1989-3-2 计算机应用 103 大学英语 4 65王林 男 1989-3-2 计算机应用 202 计算机基础 3 75王林 女 1989-3-2 计算机应用 203 语言 4 82张美红 女 1989-8-9 英语 101 律基础 4 90张美红 女 1989-8-9 英语 301 阅读与写作 3 65 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第5章 关系数据理论 若将数据库模式分解为如下的数据库模式schema_2： 学生（学号，姓名，性别，专业，出生日期） 课程（课程号，课程名，学分） 选课（学号，课程号，成绩） 则解决了插入异常、修改异常、删除异常的问题，数据冗余也得到了控制。什么样的数据库模式算一个好的数据库模式呢？一个好的数据库模式应有如下特点： ① 能客观地描述应用领域的信息； ② 无插入异常； ③ 无删除异常； ④ 无过度的数据冗余。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 5.1 基本概念 数据依赖：是客观世界实体集内部或实体集之间属性相互联系的抽象，为了描述这些联系，人们提出多种类型的数据依赖，如函数依赖、多值依赖、连接依赖，但最重要的是函数依赖（Functional Dependency，FD）和多值依赖（Multivalued Dependency，MD）。数据依赖实际上反映了属性之间的相互约束关系。 函数依赖：若X，Y为单一属性或属性组，当给定X的值时，就可唯一地确定Y的值，则称X函数决定Y，或Y函数依赖于X，记为X→Y；若Y不函数依赖于X，记为X Y。若X→Y，则称X为决定因素。若X→Y，Y→X，则记为：Y X。若X→A1，X→A2，…，X→An，则可写成：X→A1A2…An。 平凡函数依赖：如果对于函数依赖X→Y，Y X，则称该函数依赖为平凡函数依赖。 非平凡函数依赖：如果X→Y，Y X，则称该函数依赖为非平凡函数依赖。 完全非平凡函数依赖：如果X→Y，且对于X的任一真子集X‘，都有X’ Y‘，则称Y对X完全非平凡函数依赖，记为： ；否则称为部分函数依赖，记为： 。 传递函数依赖：若X→Y，Y→Z，Y X，且Y X，则称Z对X传递函数依赖。 关系模式：一个关系模式R可描述为一个四元组：R（U，D，dom，F），其中，U为属性的集合；D为属性组U的值域；dom为属性到域的映射；F为定义在属性组U上的一组函数依赖集，F取决于与应用有关的语义。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 5.1 基本概念 在具体关系模式的表示中，往往将一个关系模式表达为R（U，F）的形式，若在上下文环境中，F不是讨论的重点，则可将关系模式表达为R（U）的形式，例如，我们在前面涉及关系模式时，都是以