第09章 关系理论.pptVIP

第9章 关系数据理论 9.1 基本概念 9.2　函数依赖的公理系统 9.3　规范化 9.4　模式分解 9.1 基本概念 函数依赖 术语和符号 为什么要讨论函数依赖？ 模式分解 函数依赖 例：对仓库关系 仓库(仓库号,城市,面积) 有函数依赖： 函数依赖的严格形式化定义 定义9.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。 术语和符号(1) 术语和符号(5) 术语和符号(6) 术语和符号(8) 设有库存关系： 数据冗余问题 数据更新问题 数据插入问题 数据删除问题 为什么会出现以上操作异常现象呢？ 因为这个关系模式没有设计好，在它的某些属性之间存在着“不良”的函数依赖。如何改造这个关系模式？克服以上种种问题，就是我们这一章要解决的根本问题，也是我们要讨论函数依赖的根本原因。 模式分解 解决各种操作异常现象的方法就是进行模式分解，即把一个关系模式分解成两个或多个关系模式，在分解的过程中消除那些“不良”的函数依赖，从而获得好的关系模式。 分解举例 　　仓库（仓库号，地点） 　　设备（设备号，设备名）