SQL语言教程第6讲.pptVIP

第6章 关系数据库理论 本章主要内容 关系数据模型以关系数据理论为基础，这使得我们可以判断一个关系模型的“好”与“坏”，可以依据关系数据理论设计出好的关系模型。本章主要介绍函数依赖、模式分解和关系规范化等内容，讨论什么样的关系是“坏”的关系，如何将“坏”的关系转换为“好”的关系等。 本章学习目标 理解函数依赖、及其相应的概念和术语； 掌握模式分解的准则； 理解关系范式的定义，掌握关系规范化的方法。 本章重点和难点 重点：围绕函数依赖的概念、理解和掌握关系规范化的方法，为以后设计关系数据库奠定一个良好基础。 难点：理解最小等价集的概念。 6.1 函数依赖 函数依赖 函数依赖的直观定义: 例：院系(编号,名称,负责人,地点) 函数依赖的严格形式化定义: 设有关系模式R(A1,A2,…,An)，X和Y均为{A1,A2,…,An}的子集，r是R的任一具体关系，t1、t2是r中的任意两个元组；如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y]，则称X函数决定Y，或Y函数依赖于X，记为X→Y。 6.1.2 为什么要讨论函数依赖 6.1.3 术语和符号 非平凡函数、平凡函数依赖 不函数依赖于 决定因素 关系模式 主属性、非主属性 函数等价 完全函数依赖、部分函数依赖 传递函数依赖 术语：非平凡函数、平凡函数依赖 举例： 术语：主属性、非主属性 术语：函数等价 举例： 术语：传递函数依赖 举例： 练习 已知关系模式 ：学生(学号,姓名,院系,负责人)，判断下列函数依赖的类型？ 学号→姓名 学号→院系 学号→负责人 6.1.4 函数依赖的逻辑蕴涵 1. 逻辑蕴涵 函数逻辑蕴涵的定义： 设有关系模式R(U,F)，X U、Y U，如果从F中的函数依赖能够推导出X→Y，则称F逻辑蕴涵X→Y，或称X→Y是F的逻辑蕴涵。 2. 推理规则 设有关系模式R(U,F)，X、Y、Z均为U的子集，有如下推理规则： 自反律：如果Y X，则X→Y； 增广律：如果X→Y，则XZ→YZ； 传递律：如果X→Y、Y→Z，则X→Z 。 以上推理规则还有如下3条推论： 合并规则：如果X→Y、X→Z，则X→YZ。 分解规则：如果X→YZ，则X→Y、X→Z。 伪传递规则：如果X→Y、YW→Z，则XW→Z。 3. 函数依赖集闭包 在关系模式R(U,F)中，被F所逻辑蕴涵的函数依赖的全体称作F的闭包，记为F+ 闭包计算举例 4. 函数依赖集等价 设F和G是两个函数依赖集，如果 和 同时成立，即 ，则称F和G等价。 5. 最小函数依赖等价集 如果函数依赖集F满足如下条件，则称F为一个最小函数依赖集： F中任一函数依赖的右部都仅含有一个属性； F中不存在这样的函数依赖X→A，X有真子集Z，使得F与F-{X→A} ∪{Z→A}等价； F中不存在这样的函数依赖X→A，使得F与F-{X→A}等价。 例：假设有属性集U={A,B,C,D,E}，函数依赖集F={A→B,B→C,AD→E}和函数依赖集G={A→B,A→C,B→C,AD→E}，问F和G是否是最小函数依赖集？ 思考题 在你熟悉的领域列举一些关系，并讨论这些关系上的函数依赖。 用函数依赖的形式化定义证明6.1.4所给出的推理规则（自反律、增广律和传递律）。 用6.1.4所给出的推理规则（自反律、增广律和传递律）证明6.1.4所给出的三条推论（合并规则、分解规则和伪传递规则）。 设有关系模式R(U,F)，U={A,B,C,D,E}，F={AB→E,DE→B,B→C,C→E,E→A}，能否找出一个它的最小等价集？ 6.2 模式分解 6.2.1 模式分解的准则 模式分解具有无损连接性； 无损连接是指分解后的关系通过自然连接可以恢复成原来的关系。 模式分解能够保持函数依赖。 保持函数依赖分解是指在模式的分解过程中，函数依赖不能丢失的特性，即模式分解不能破坏原来的语义。 举例 有关系模式R(U,F)，假设将其分解为： R1(U1,F1)和R2(U2,F2)， 其中U= U1∪U2，F +=(F1∪F2)+ 无损连接的形式定义 判断一个分解是否具有无损连接特性可以用如下法则：关系模式R分解为R1和R2是无损连接分解的充分必要条件是： R1 ∩ R2 → R1 - R2 或 R1 ∩ R2 → R2 – R1 保持函数依赖的形式定义： 6.2.2 模式分解举例 设有关系模式R(U,F)，U={课程，教师，学院}，F={课程→教师，教师→学院}，从F中可以看出，一门课程只能由一名教师负责，一名教师只能属于一个学院。设有如表6-