基于逆向FD超图的属性闭包求解算法研究

本文对文⑴进行深入分析的基础上给出了正向ＦＤ超图、逆向ＦＤ超图，给出了正向、逆向超图的相互转换算法，并对属性闭包的求法进行了研究，给出了求解关系模式属性闭包的新算法。     

基于超图的求解FD集最优覆盖的算法研究

本文在文献「３」、「４」、「５」所讨论的超图及 的分类的基础上，分析了最优覆盖对应的超图的结构特点，用替换化简方法解决了最优覆盖的多项式时间算法。     

基于混合超图的一种4NF的判定算法

本文讨论了混合超图中４ＮＦ判定有关的理论，并在此基础上给出了一个对应的关系模式是否属于４ＮＦ的判定算法。     

基于逆向MVD超图的求MVD最小覆盖算法研究

本文详细讨论了逆向ＭＶＤ超图的性质，给出了伪完全等价准路、完全等价准路、子边等价准路等概念。证明了若干个逆向ＭＶＤ超图的化简定理，最后给出了基于逆向ＭＶＤ超图的求ＭＶＤ最小覆盖算法。     

关于混合FD,MVD超图的理论研究

本文分别详细讨论了正向混合超图和逆向混合超图中准路的分类定义及理论。给出了正向混合超图中怀蕴池有关的理论，同时，还部分地给出了逆向混合超图中的与消除冗余有关的几个定理     

基于逆向超图的关系规范化综合算法

本文在文献「１」、「２」、「３」的基础上,给出了内部逆向支超边,外部逆向支超边,外部逆向子超边集,最小外部逆向超图等概念,讨论了在逆向超图表示下如何去掉部分函数依赖关系问题,最后给出了基于逆向超图的关系规范化综合算法。     

基于删除序偶的传递闭包求解算法

针对在已有传递闭包的基础上删除序偶后的传递闭包求解问题,提出一种基于传递闭包的传递闭包动态求解算法,给出了其形式化描述形式,并给出了算法的详细证明过程.该算法在已有的传递闭包基础上,通过把新删除序偶及该序偶的所有依赖间接指向序偶从已有传递闭包中删除实现求解过程,从而使算法的时间复杂度降低为O(n<'2>),并且不受稀疏矩阵或序偶链的链长等不确定因素影响,最后通过一个实例说明了该算法的执行过程.     

归并依赖集的二元组集合闭包求解算法

本文给出了归并依赖集的二元组集合、闭包的概念,并给出了求解二元组集合B及其闭包的多项式求解算法。     

基于超图的求等价属性集算法研究

本文讨论了有关等价属性集的一些性质，提出了准等价属性集和基本等价属性集的概念。在此基础上给出了一种求等价属性集的算法。     

基于逆向FD超图环的全部候选关键字求法

本文通过对逆向ＦＤ超图的环的分类的深入研究，找到了组成候选关键字的属性对应的结点的特征，进而给出了求解全部候关键字的多项式时间的新算法。     

LR最小替换集求解算法研究

文中对Ｄ．Ｍａｉｅｒ提出的关于关系数据库中的ＬＲ最小集的结构进行了分析，提出了一个比“ＬＲ最小集”更为简化的ＦＤ集的覆盖－ＬＲ最小替换集。给出了一个求ＬＲ最小替换集的多项式时间算法。修正了Ｄ．Ｍａｉｅｒ在其文中给出的一个ＦＤ集为最优覆盖的必要条件。     

关系模式一种基于超图的全部候选关键字求法

本文详细讨论了基于超图的关系模式的有关候选关键字的某些理论,给出了相应的定理.圆满地解决了关系模式全部候选关键字的求解问题,具体地给出了以递归形式的求全部候选关键字的新算法.     

基于闭包的关系模式全部主属性的多项式时间算法

文中通过对关系模式中的属性进行适当的分类，讨论了一个属性成为主属性应该满足的条件，并在文献「４」、「５」「６」的基础上，采用闭包，实现了利用Ａｒｍｓｔｒｏｎｇ公理进行函数信赖推导的过程，从而给出了一个简便的求解关系模式全部主属性的多项式时间算法。     

在RDBMS上扩充传递闭包功能的方法和算法

目前的ＲＤＢＭＳ一般不支持传递闭包计算功能。为扩充此功能，作者提出了在原ＲＤＢＭＳ上增加传递闭包处理层ＳＥＴＣＳ，以及扩充传递闭包定义与查询语句的ＳＱＬ＊。该方案已在ＯＲＡＣＬＥ上实现并投入应用。     

基于关系／网状的语义超图多媒体描述模型

本文提出了基于关系／网状的语义超图功述模型及各操作，引和面向对象的方法，统一描述对象和元组，提出了对象间的语义联系，基于联系的各种操作和施加工对象的方法机制。在语义超图层次，描述和操作了不同语义类的对象；在语义子图层次，描述了每一语义类的对象间的多对多关系及其操作，因此，该模型可用于描述和处理工程领域中的不同语义类多对多关系的复杂多媒体对象。     

FD集最优覆盖多项式时间求解算法的研究

本文在详细分析了ＦＤ集的最小覆盖和最优覆盖的结构特性基础上，提出并讨论了一个最小覆盖成为最优覆盖的条件及一个最优覆盖珠属性集构成的特点，相应的引理和定理。最后给出一个求ＦＤ集最优覆盖的多项式时间算法。