规范化小结 规范化目的:使结构更合理,消除插入、修改、删除异常,使数据 冗余尽量小,便于插入、删除和更新。 规范化方法:将关系模式投影分解成两个或两个以上的关系模式 规范化原则:遵从概念单一化“一事一地”原则,即一个关系模式 描述一个实体或实体间的一种联系。规范的实质就是概念的单一化。 。规范化要求:分解后的关系模式集合应当与原关系模式“等价”, 即经过自然联接可以恢复原关系而不丢失信息,并保持属性间合理 的联系
规范化小结 规范化目的：使结构更合理，消除插入、修改、删除异常，使数据 冗余尽量小，便于插入、删除和更新。 规范化方法：将关系模式投影分解成两个或两个以上的关系模式。 规范化原则：遵从概念单一化 “一事一地”原则，即一个关系模式 描述一个实体或实体间的一种联系。规范的实质就是概念的单一化。 规范化要求：分解后的关系模式集合应当与原关系模式“等价”， 即经过自然联接可以恢复原关系而不丢失信息，并保持属性间合理 的联系
二、数据依赖的公理系统 问题的提出 在关系模式规范化处理过程中,不仅要知道一个由语义决定的函数 依赖集合,还要知道由这个已知的函数依赖集合所蕴含(或推导出) 的所有函数依赖集合。为此,需要一个有效而完备的公理系统, Armstrong公理系统即是这样的一个系统 °相关定义 个函数依赖可以通过已知的函数依赖推导出来;如利用Ⅹ→Y和 Y→乙可以推导出Ⅹ→Z,可以说,函数依赖Ⅹ→Y和Y→乙逻辑蕴含 ( Logical Implication)了X→Z
二、数据依赖的公理系统 问题的提出： 在关系模式规范化处理过程中，丌仅要知道一个由语义决定的函数 依赖集合，还要知道由这个已知的函数依赖集合所蕴含（或推导出） 的所有函数依赖集合。为此，需要一个有效而完备的公理系统， Armstrong公理系统即是这样的一个系统。 相关定义： 一个函数依赖可以通过已知的函数依赖推导出来；如利用X→Y和 Y→Z可以推导出X →Z，可以说，函数依赖X→Y和Y→Z逻辑蕴含 （Logical Implication）了X →Z
主要内容: 1、逻辑蕴涵 2、 Armstrong公理系统 3、函数依赖集的闭包 4、函数依赖集的等价及最小依赖集
主要内容： 1、逻辑蕴涵 2、Armstrong公理系统 3、函数依赖集的闭包 4、函数依赖集的等价及最小依赖集
1、逻辑蕴涵 定义6.11 对于满足一组函数依赖F的关系模式R<U,F>,其任何一个关系r, 若函数依赖X→Y都成立(即r中任意两元组t、S,若址Ⅺ]=s[X],则 tY]=s[Y]),则称F逻辑蕴含Ⅹ→Y,记为F=X→Y 例如,设F={A→B,B→C},则函数依赖A→C被F逻辑蕴含,记作 F=A→C。即函数依赖集F逻辑蕴含函数依赖A→C
1、逻辑蕴涵 定义6.11 对于满足一组函数依赖 F 的关系模式R <U，F>，其仸何一个关系r， 若函数依赖X→Y都成立（即r中仸意两元组t、s，若t[X]=s[X]，则 t[Y]=s[Y]），则称F逻辑蕴含X→Y，记为F⊨X→Y； 例如，设F={ A→B，B→C }，则函数依赖A→C被F逻辑蕴含，记作： F ⊨A→C。即函数依赖集 F 逻辑蕴含函数依赖A→C
2、 Armstrong公理系统 Armstrong公理系统:-套推理规则,是模式分解算法的理论基础; 关系模式R<U,F>来说有以下的推理规则: A1.自反律( Reflexivity):若YcⅩgU,则X→}为F蕴藴含。 A2增广律( Augmentation):若X→Y为斤所蕴含,且zU, 则ⅩZ→YZ为「蕴含 A3传递律( Transitivity):若X→Y及γ→z为斤蕴含,则Ⅹ→z 为斤所蕴含
2、Armstrong公理系统 Armstrong公理系统：一套推理规则，是模式分解算法的理论基础； 关系模式R <U，F >来说有以下的推理规则： ◦ A1.自反律（Reflexivity）：若Y X U，则X →Y为F所蕴含。 ◦ A2.增广律（Augmentation）：若X→Y为F所蕴含，且Z U， 则XZ→YZ为F所蕴含。 ◦ A3.传递律（Transitivity）：若X→Y及Y→Z为F所蕴含，则X→Z 为F所蕴含