候选关键字判定理论.pdfVIP

1992年4月 计 算 机 学 报 第4期 候选 关键字 的判 定理论 t 孑一 周 定 康 (江西师薅太学计算机科学系，南昌 330O27) THEORY FOR DETERMlNING CANDlDATE KEYS Zhuo Dingkang (Comp~ sd州 。D{ t蜘ltm．JiangxlNarmaiU … il Namhanz 330027) Abstraet In relationaldatabasetheory,determiningthecandidateheyoftherelation schemaisNP~complete．Inthispaper，sufficientand necessary conaitino sof existing unique candidatekeyoftherelation schemaarefound，and sonicrulesforsolvingthecandidatekeys ofsingleattrilmtefunction dependencies developed． Key words Candidate keys，function dependency，relation schema，relationaldata- 摘要 在关 系数据库理论中，确定关系模式的候选关键字是一个 ⅣP 完 奎 问题 ，至夸 尚无有效的理论 ． 本文提 出关系模式唯一候选关键字存在 l·生的充 要 备件和开发了具有单属性函数依精候选关键字的求解规则． 一 、 引 言 对于给定关系模式 R，要确定 R的候选关键字 ，在文献 【l】r[s】中利用求属性 闭包的 方法，其时间复杂度为 0((m + m) ·2 )(为U中属性元素个数，m为与F等价的最 小覆盖集基数 )，显然这是 NP 完全问题．J．D．Ullman在文献 【1]中给出了证明，M． R．加里、D． s．约翰逊已经把它收集在文献 【2】的附录 A4．3数据库问题 【sR26】、 【sR27】中．该附录收集了当今世界上大量的 NP 完全 问题． 文献 【4】，【]绐出了候选关键字图论求解方法． 本文将应用集台论方珐阐述了候选 关键字的判定理论问题，给出了定理证明，取得了满意的结果和更有效的求解途径． 本文 1990年 I1月 17日收到．车课题是省重点科拄研究项耳．周宣摩，剧教授，江西师范太学计算机科学系瓢 主任，主要从事数据库应用工怍并同时进行数据库理论的研究． ●期 周定康：候选关键字的判定理论 定义 1． 关系模式是一个二元组 R(u，F)，其中： (。)R表示荚系名 ； (b)U表示有限属性集 ； (c)F表示定义在u上的函数嵌赖集． 不 失一般性 ，我们约定 F中所有 函数依赖的右部为单属性． 用英文大写字母表示集 合，用英文小写字母表示集合中的元素．有时也用小写字母串代表集合，例 ( )即表示 {。，c}．在不致引起混淆的情况下，单个小写字母也可看成只有一个元素的集合． = 、唯一候选关键字 定义 2． 关系模式 R(u，F)上的属性子集 U (F )‘定义为： uR(F )一 {lEUAaY_cUA￡ yAY— EF }， 其中 F 为F的自反传递闭包． 定理 1． 已知关系模式 R(u，F)，对于R的任一候选关键字 ，必有： (u— UR(F )‘) 置． 证明．反证法：假设置是R的候选关键字，且 j E(u—u (F ))Az K，由于 是候选关键字，必有 a