最小函数依赖集Fmin求解算法研究及实现.docVIP

最小函数依赖集 Fmin 求解算法研究及实现邸振山（秦皇岛市人力资源和社会保障局信息中心，河北 秦皇岛 066004）摘 最小函数依赖集 Fmin 求解算法研究及实现 邸振山 （秦皇岛市人力资源和社会保障局信息中心，河北 秦皇岛 066004） 摘 要：函数依赖反映了现实世界中数据的完整性约束，对关系数据库的分析和设计起着重要的作用。最小函数依 赖集和模式规范化是规范化理论和模式分解中的两个最重要概念。研究并实现了最小函数依赖集的求解算法。 关键词：关系数据库； 模式分解； 最小函数依赖集； 属性闭包 Research and Implementation of the Minimum Functional Dependency DI Zhen-shan （Information center , Bureau of Human Resources Social Security of Qinhuangdao , Hebei Qinhuangdao 066004 , China） Abstract：Function dependency reflects the real world data integrity constraint. It is very important in the design and analy－ sis in the relational database. The Minimum Functional Dependency ( Fmin) and the scheme standardization are the two most important concepts in the normalization theory and scheme decomposition. In this paper, we introduce the research and implementation of the minimum functional dependency set algorithm. Key words：Relational Database ; Scheme Decomposition ; Fmin ; Attribute Closure 引言 关系数据模型是建立在关系这一严格的数学概念基础之 上的。关系数据理论是关系型数据库逻辑结构设计的重要理 论基础，主要包括数据依赖、范式和规范化方法 3 个方面。 现实世界中的各种复杂联系都能在关系数据模型中得以抽象 实现，体现为关系数据中的各类完整性约束。实体与实体间 的逻辑约束体现为实体间的一对一、一对多和多对多联系， 而实体内部的逻辑制约关系则体现为各种数据依赖。其中， 函数依赖 FD 和多值依赖 MVD 是最重要的两种数据依赖。函 数依赖反应了属性间的关联性和数据的完整性约束，对关系 数据库的设计和分析起着重要的作用。而数据库模式的规范 化是人们对数据库模式中数据依赖复杂程度的描述，规范化 处理和模式分解是评价和解决数据库设计中各种弊端 （如数 据冗余、更新异常、插入异常、删除异常） 的重要理论。通 过模式分解，可以减低数据冗余，数据的完整性容易得到保 证。关系数据库规范化理论是数据库逻辑设计的理论依据。 关系模式的规范化程度取决于数据库中表的模式分解及 其消除的数据依赖的程度。规范化的基本思想是消除关系模 式中的数据冗余，消除数据依赖中不合适的部分。按照关系 模式所达到的规范化的程度的不同，将关系模式的规范化尺 度划分为第一范式 （简称 1NF）、第二范式 （简称 2NF）、第三 范式 （简称 3NF）、巴克斯范式 （简称 BCNF）、第四范式 （简 称 4NF） 和第五范式 （简称 5NF）。规范化程度越高，数据冗 余和各类异常问题就消除得越彻底，但随着规范化程度的升 高，模式分解所产生的二维表数量就会越多，查询时表的连 接运算也将越多。大量的多表连接运算必然会降低数据库执 行的速度，影响数据库的性能。因此，在实际的数据库应用 中，为了提高系统的响应时间，合理的数据冗余是必要的。 在实际的数据库应用系统中，通常要求关系模式的规范化程 度达到第三范式 （3NF）。3NF 能够解决单候选码关系模式的 部分依赖和传递依赖所带来的数据冗余和更新异常、插入异 常、删除异常问题。BCNF 的规范化程度能够彻底地解决由函 数依赖所带来的数据容易和各类操作异常问题。4NF 能够解 决多值依赖范畴中的数据冗余和操作异常问题，5NF 能够解 决联接依赖范畴中的相应问题。 已有多种方法来发现一个关系数据库中的函数依赖。其 中文献 [3] 基于一致集 （agree se）t 的概念提出了一种发现最 小非平凡函数依赖的架构