基于卡诺图确定函数依赖集规范覆盖.pdfVIP

基于卡诺图确定函数依赖集规范覆盖 张亦舜 浙江工商大学计算机与信息工程学院，浙江杭州（310035 ） E-mail：zys64@ 摘 要：关系数据库理论中，确定函数依赖集的规范覆盖是一个关键的问题。主要的算法烦 琐而费时，且难以求得全部的结果。本文依据函数依赖理论与逻辑代数对应部分的等价性， 引入化简逻辑函数的卡诺图法求函数依赖集的规范覆盖。首先将函数依赖集对应的卡诺图定 义为函数依赖图，接着讨论了依据给定的函数依赖集通过函数依赖图确定规范覆盖的方法， 由于每个函数依赖图代表了一类彼此等价的函数依赖集，最后将此方法自然推广到求函数依 赖集等价类的全部规范覆盖。 关键词：关系数据库，函数依赖集，规范覆盖，卡诺图 中图分类号：TP301 1．引言 目前，关系数据库系统得到了广泛的应用。关系数据库系统采用关系模型作为数据的组 织方式。关系模型是由E.F.Codd1970年首先提出的[1]，此后，许多研究者发表了多篇论文， 奠定了关系模型的理论基础