哈工大数据库系统课件第六章关系数据理论.pptVIP

第六章 关系数据理论 本章内容 关系模式的设计问题 函数依赖 范式 函数依赖的推理规则 模式分解 问题 数据库的逻辑设计问题 给出一组数据，如何构造一个适合于它们的数据模式？ 为什么研究关系数据理论？ 关系数据理论是关系数据库逻辑设计的工具 关系模型有严格的数学理论基础 可以向其它数据模型转换 关系模式的设计问题 示例 设关系模式R(S#,C#,CName, TName) 属性分别为学生学号，选修课程号，课程名，教师姓名 关系模式的设计问题 信息的不可表示问题 插入异常：新开课程(C1,Alg,Zhang)，尚无学生选修时，如何将其插入； 删除异常：删除学生信息时，课程信息会同时消除； 信息的冗余问题 数据冗余：对于多个学生选修的课程会多次重复； 更新异常(复杂)：若一门课程的信息，如授课教师，发生修改，则更新操作复杂且可能引入不一致； 关系模式的设计问题 解决办法：分解! SC(S#, C#) C(C#, CName, TName) 关系模式的设计问题 新问题：有关学生的关系模式 S(S# , SN , SD , DEAN , C# , G) 它存在哪些问题？ 原因何在？ 关系模式的设计问题 概念回顾 直观 关系：一张二维表 元组：表中一行 属性：表中一列 抽象 属性所对应的域---属性集 元组：属性集的笛卡尔积的一个元素 关系：元组的集合，即笛卡尔积的一个子集 关系模式：元组集合的结构上的描述（关系的集合） 问题：关系模式的形式描述？ 关系模式的设计问题 关系模式的形式描述 关系模式由五部分组成，即关系模式是一个五元组： R（U，D，DOM，F） R：关系名 U：组成该关系的属性名集合 D：属性组U中属性所来自的域 DOM：属性到域的映射 F：属性间的数据依赖集合。它限定了组成关系的各个元组必须满足的完整性约束条件。 关系模式的设计问题 简化记法 将关系模式简记为RU,F 当且仅当U上的一个关系r满足F，r称为关系模式RU，F的一个关系 存在上述逻辑设计问题的原因？ 某些属性间存在某种数据依赖 关系规范化 用简单结构的关系取代复杂结构的关系，即逐步减少关系内部数据的依赖，以解决冗余、更新异常、插入异常和删除异常 方法 根据一个关系所具有的属性间依赖情况来判定它是否具有某些不合适的性质，若有，通过模式分解消除那些不合适的性质 函数依赖 函数依赖 设R(U)是属性集U上的关系模式，X , Y ? U，r是R(U)上的任意一个关系，如果总有： 对?t , s ? r，若t[X] = s[X]，则t[Y] = s[Y]， 那么称“X函数决定Y”，或“Y函数依赖于X”，记作X?Y，称X为决定因素， 如S# ? SN，（S#，C#）? G 若X→Y，并且Y→X, 则记为X Y 若Y不函数依赖于X, 则记为 函数依赖 有几种等价的定义: X→Y ，for any t1, t2 in r(R), if t1 and t2 have the same X-value, then t1 and t2 also have the same Y-value. X → Y，there exist no t1, t2 in r(R) such that t1 and t2 have the same X-value but different Y-values. X → Y，for each X-value, there corresponds to a unique Y-value. 函数依赖 检验：A→C？C→A？AB→D？ 辨别： 满足依赖的关系：依赖在模式的某个关系实例上成立 模式上成立的依赖：依赖在模式的所有关系实例上都成立 练习 函数依赖 平凡函数依赖 如果X ? Y，但Y ? X，则称其为非平凡的函数依赖，否则称为平凡的函数依赖 如（S#，SN）? SN是平凡的函数依赖 函数依赖 部分函数依赖 在R(U)中，如果X?Y，且对于任意X的真子集X′，都有 ，则称Y完全函数依赖于X ，记作 否则称为Y部分函数依赖于X ，记作 S(S# , SN , SD , DEAN , C# , G) 函数依赖 传递函数依赖 在R(U)中，如果 则称Z传递函数依赖于X S# ? SD，SD ? DEAN 存在传递函数依赖的例子 示例 考虑为管理职工的工资信息而设计一个关系模式 函数依赖 范例 关系模式S(S# , SN , SD , DEAN , C# , G) 主码：（S#，C#）函数依赖： 函数依赖的确定 函数依赖是语义范畴的概念。只能根据属性对现实世界的描述及在现实世界中的关系确定函数依赖，是一个断言，不能证明。如“name→age” 数据库设计者可以对现实