函数依赖集投影的算法

给出了关系模式Ｒ的函数依赖集Ｆ在Ｒ的一个属性子集Ｕ上的投影的最小覆盖的算法,并证明了算法的正确性,而且给出了一个实现本算法的例子。     

基于函数依赖图的设计关系数据库模式的综合算法

本文详细讨论了函数依赖图的原理及基于函数依赖图求解ＥＫＮＦ（基本关键字范式）的数据库模式的综合算法。它对于给定的一关系数据库的一组函数依赖产生相应的ＦＤ图；基于此ＦＤ图，删除该ＦＤ图中的冗余复合节点、多余复合节点和冗余完全弧；从而得到一个ＬＲ最小ＦＤ图覆盖；并由此得出一个属于ＥＫＮＦ的较好的关系数据库模式。本文所述综合算法的时间复杂度为多项式的，因而在实践中有重要的实用价值。     

依赖推导算法的研究

本文根据函数依赖成立的条件，给出了在关系ｒ中单属性左部属性集的求解算法，进而出了在给定关系中成立的函数依赖集的一个覆盖。     

多值依赖无分裂覆盖问题的研究

基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无分裂覆盖满足的条件及其算法．这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础．     

模糊关系数据库系统中的函数依赖与多值依赖

用模糊关系数据模型来描述不分明的模糊数据是关系数据库理论发展中的一个重要的新课题。本文用模糊等价关系及其隶属函数来描述模糊函数依赖与多值依赖,看出经典数据依赖是模糊数据依赖的特例。并且证明相应于Armstrong公理的一套模糊数据依赖的推理规则是正确、完备的。     

函数依赖集的扩展左部集

给出了扩展左部集的概念。了当ＦＤ集Ｆ无内部冲突时,Ｆ的扩展左部集的特点与求法,以及它与最小覆盖的左部集之间的联系,阐明了Ｆ的不同最小覆盖集左部集之间的关系。     

关系数据库中FD集的归并依赖集的性质

从讨论两个归并依赖之间的关系入手,给出了归并依赖集左部之间的嵌入关系,以及归并依赖集的若干性质。这在无环数据库模式分解时是有用的。     

基于矩阵的依赖推导算法研究

给出了基于矩依赖推导算法，并可推导出的关系上能够保持的函数依赖集。     

求关系模式全部候选关键字理论和算法

本文研究了候选关键字之间的关联,定义了它们之间的等价关系,开发了直接导出和间接导出候选关键字的几个定理和从一个候选关键字导出所有候选关键字算法,并证明了它的正确性和完备性。     

关系数据库中时态关系模式的研究

本文定义了关系数据库中的时态关系模式,对其进行了分类,同时研究了时态关系模式的特性。     

强主属性与拓扑序结构

本文定义了强主属性概念,讨论了属性子集拓扑序结构问题,导出了求解全部候选关键字的新算法.     

在左边是单属性的函数依赖集中寻找关系模式候选码的算法

寻找关系模式的候选码是对关系进行规范化的重要步骤。各种参考资料虽然在寻找方面介绍了各种方法,但没有给出算法的实现。本文给出利用有向图的知识寻找一个关系模式的所有候选码的算法。     

关系模式最小依赖集的图论求解法

本文将关系模式函数依赖集映射成千面上的有向图。当诸依赖左部均为单属性时,给出并证明了最小依赖集在图上的充要条件。当依赖左部出现多属性时,分别给出并证明了多余依赖、多余属性在图上的充要条件,从而直观地揭示了属性闭包的本质,给出了依赖左部属性较少时的直观、实用的最小依赖集图上求解算法。     

模糊关系数据模型中的连接依赖蕴含问题

用模糊关系数据模型来描述不分明的模糊数据是关系数据库理论发展中的一个重要的新课题,本文从模糊连接依赖的定义出发讨论了模糊连接依赖间的蕴含问题,得出了与经典关系模型平行的一系列结论,使模糊数据依赖理论更加完善