BC范式判定定理及关系的规范化研究.doc

背景 关系模型是目前应用得最为广泛的数据库模型，关系模型的规范化理论是关系型数据库逻辑设计的基础，信息系统开发人员对关系规范化的运用能力将直接影响所设计数据库系统的质量，并进而影响整个系统的性能。范式的概念最早是由IBM公司的研究员E.F.Codd提出的，他于1971至1972年间发表的一系列论文中系统地提出了1NF,2NF和3NF的标准，并深入探讨了关系进一步规范化的问题，由此奠定了关系规范化理论的基础。1974年，E.F.Codd和Boyce又共同提出了BCNF，1976年，Fagin又提出了4NF，以后又有人提出了5NF。虽然关系规范化的理论研究发展至今已经相当完备，但仍有进一步完善和充实的必要。在函数依赖的范畴内，BC范式已达到完美的程度(已完全消除了有害的函数依赖关系)，本文试图在函数依赖的范畴内对关系规范化的理论和运用作进一步的探讨。 一 基本概念 基本概念： 定义1(BCNF) 给定R和F，对F中的每个函数依赖XA，X不包含A，若X为R的超键（码），则称R关于F是BCNF的。 定义 1 说明，如果一个关系模式 R 是 BCNF，则在R 上关于函数依赖集 F 的闭包中，每一个函数依赖 αβ 要么是平凡的，要么其决定因素α是R的一个超码。3NF（第三范式）已经排除了非主属性对候选码的传递函数依赖，但仍然可能存在主属性之间的部分或传递函数依赖，进而造成数据冗余度大、插入异常、删除异常、更新异常等问题。BCNF 要求对于 R 中的每个函数依赖 X→Y，如果 Y不是 X的真子集，则 X中必含有候选码，也就是说，每一个非平凡的函数依赖，其决定因素必须包含候选码，这样正是对 3NF 的不足之处加以补充，所以 BCNF 是增强的 3NF。 定义 2 设 R 是 1NF，若 R 中的每个属性都不传递函数依赖于 R 的任一候选码，则称 R 是 BC范式。 定义 1 与定义 2 的意义是等价的。一方面，假设关系模式 R 中存在传递依赖于候选码 X 的一组函数依赖 X→Y、Y→A，因为传递函数依赖的前提是 Y→X 不成立，所以 Y 中不应包含候选码，这使得 R 不能满足定义 1 中的要求，R 不能成为 BCNF。另一方面，假设关系模式 R 中存在一个非平凡的函数依赖 X→Y，其决定因素 X 中不包含候选码，那么对于 R 的任一候选码 K，有 K→X，而 X→Y，也就是说 Y 传递依赖于候选码 K，这使得 R 不能满足定义 2 的要求，R 不能成为BCNF。 定义3(最小覆盖)设F和G是两个函数依赖集，若G+F，则称G为F的一个覆盖.特别地，当GFa。且不存在G的真子集口作为F的覆盖，则称G为F的一个最小覆盖，记为Fmin。由定义显然有FminFF+，且Fmin=F+a=F+，事实上，Fa=UFmin。 二 基本性质 每个 BCNF 关系模式都应具有如下三个性质： （1）所有非主属性都完全函数依赖于每个候选码； （2）所有主属性都完全函数依赖于每个不包含它的候选码； （3）没有任何属性完全函数依赖于非主的任何一组属性。 由于R∈BCNF,按定义排除了任何属性对码的传递依赖与部分依赖,所以R∈3NF。但是若R∈3NF,则R未必属于BCNF。 三 定理： 定理1设Fax为Fa中仅由X中的属性组成的函数依赖的全体，Fx为F在X上的投影，即Fx=IIx（F），则Fax与Fx等价。 证FaxFx+显然成立.下面证明F+axFx， YZFx，不失一般性，设Z为单个属性.根据Fa的定义，有原子函数依赖Y’ZFa(Y’Y).因为YZX，所以Y’ZX，从而Y’ZFax 。根据Armstrong公司的增广律，有Y’YZFax+(注意YX)，即YZFax+(因为Y’Y)，从而Fax+Fx。证毕。 定理2(守恒定理) 设X、Y和Z为R上的属性集.对XYF+，若X不包含Y，则ZAFmin，ZX；反之，对ZAFmin，在F中(不是F+中)必有XY，X不包含Y且ZX。 定理3 将Fmin分成包含A和不包含A的两部分，即Fmin一{*，xiA，AYjBj}，其中*表示不合A的函数依赖，XiA表示右边为A的函数依赖，AYiB，表示左边含有A的函数依赖，Xi和Yj为属性集(Yj可以为空)，Bj为单个属性.则FR-A={*，XiYjBj，}等价于F在R-A上的投影IIR-A（F）。 四 判定定理 判定规则1 任何一个二目关系 R 一定是 BCNF。 证明 假设关系模式 R（A，B） 是二目关系，A、B为关系模式 R 的两个属性，R 的候选码存在两种可能： ①全码，即属性组（AB）构成一个候选码； ②单属性码，即单属性 A 或 B 构成 R 的候选码。 解释如下： （1）全码 属性组（AB）构成一个候选码，则 R 中不存