基于卡诺图确定所有候选码和属性集闭包.pdfVIP

基于卡诺图确定所有候选码和属性集闭包 张亦舜 浙江工商大学计算机与信息工程学院，杭州 (310035) E-mail ：zys64@ 摘 要：关系模式设计过程中，确定所有候选码及任意属性集的闭包是最基本的计算。本文证 明此两问题等价于函数依赖图中质蕴含的确定和判断，可以用卡诺图方法统一便捷地处理。当 属性数目较大时，Q-M化简法能有效替代卡诺图法，本文以实例说明了如何运用Q-M化简法确 定全部规范覆盖，以及利用其中构造的必要质蕴含产生表来求得所有候选码和任意属性集闭包。 关键词：候选码；属性集闭包；卡诺图；质蕴含 中图分类号：TP301 1. 引言 确定函数依赖集的候选码在关系数据库的设计中是基本的一环，有关的算法和其它许多重 要的计算都涉及到求属性集关于函数依赖集的闭包。 Delobel 等[1]证明了候选码的确定可以转化为逻辑函数中的对应问题。本文利用已有的求候 [2] [3] 选码的算法思想 及卡诺图处理函数依赖集的理论和方法 ，给出了一个确定所有候选码的更简 单、直观的证明。 任意属性集关于给定函数依赖集的闭包的计算方法[2]源自定义，思路虽简单但过程烦琐。 本文证明求给定属性集的闭包仍然可采用卡诺图的方法，首先利用函数依赖图求得所有质蕴含， 再判断每个质蕴含对应的函数依赖左部是否被给定属性集包含，从而决定右部属性是否属于闭 包，如此可简便直接地得到属性集闭包。 当属性数目较大时，卡诺图法并不方便。更通用的是用Quine 和Mccluskey 提出的列表化 简法[4] ，即Q-M 化简法确定质蕴含，它能有效替代卡诺图法，并易于程序实现。本文以实例介 绍了如何运用Q-M 化简法确定全部规范覆盖，以及如何利用此过程中构造的必要质蕴含产生表 来确定所有候选码和任意属性集闭包。 2. 相关概念和算法 本节简要介绍码、属性集关于函数依赖集的闭包等概念及有关算法。后续讨论需要逻辑函 [3,4] 数、卡诺图及利用卡诺图处理函数依赖集等方面的知识，在此不作赘述，请参阅有关文献 。 定义1 设 是属性集 上的关系模式，X ⊆U ，如果函数依赖 在 上成 R (U) U X →U R 立，则称 是 的一个超码。如果不存在任何 ′ ，使得 ′ 也成立，则称 是 的 X R X ⊂X X →U X R 一个候选码。 定义2 设 为属性集U上的一组函数依赖，X ⊆U ， X + {A | X →A 能由 根据 F F F Armstrong推理规则导出｝， +称为属性集 关于函数依赖集F 的闭包。 X X F 算法（求候选码）输入：关系模式R U , F 输出：R 的一个候选码K 1) K : U - 1 -