多值依赖MVD保持性的研究

基于数据依赖基于概念给出了保持多值依赖MVD集的定义,提出了构造联接树的算法,生成MVD集与保持MVD集的检验算法,同时对算法给出了证明。     

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

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

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

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

基于XML最小覆盖算法的研究

提出了两个来自XML关键字的函数依赖的最小覆盖的计算算法。第一个算法需要花费指数级别的时间代价。第二个算法需要花费输入集合的多项式时间倍,此算法有效地计算来自XML关键字的函数依赖最小覆盖的算法。     

函数依赖集投影的算法

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

矩阵最小奇异值的下界

利用矩阵的Hermite部及半正负定矩阵的性质,给出Hermite矩阵特征值与奇异值的关系,得到矩阵最小奇异值的几个新下界,所得下界改进了现有的一些估计结果。     

函数依赖与多值依赖的再研究

从不同角度对关系数据库理论中函数依赖(functional dependency,FD)与多值依赖(multi-valued dependency,MVD)及其关系进行了深入研究。从经典关系数据库理论、粗糙集与形式化概念分析出发,探讨了它们对函数依赖与多值依赖的研究视角,得出了关于两种依赖的一些重要结论。     

最小基数箱子覆盖问题及其启发式算法

研究了一个新颖的装箱问题，即最小基数箱子覆盖问题(Minimum Cardinality Bin Covering Problem)，证明了该问题是强NP-完备的；在物件大小满足一定的条件下，给出了一个时间复杂度为O(n)的启发式算。     

基于树元组的XML文档中的多值依赖

XML模式设计是XML数据库设计的关键，同关系数据库相似，对引起XML数据更新异常的原因及消除更新异常的方法进行研究具有重要的意义。与Vincent等人不同，本文在DTD一级对XML文档中的多值依赖进行了研究。首先分析了XML文档模式设计的研究方法，其次，重新给出了XML树，树元组等的定义，消除了Arenas等人在定义模型“相等”上的二义性，并基于DTD提出了XML多值依赖的概念。最后，分析了XML中多值依赖的公理系统及蕴涵问题并指出了XML多值依赖未来的研究方向。     

关于多值依赖的几点注记

目前诸多流行的数据库原理教材中对多值依赖问题的讨论均显得不够充分,对此,本文从两个方面进行了有针对性的探讨。首先对多值依赖两种定义的等价性进行了证明;其次也给出了几个重要结论的有效证明方法。     

图的最小覆盖的逻辑算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小覆盖和最小覆盖以及全部极小边覆盖和最小边覆盖的一般算法．     

求最小生成树的矩阵算法

最小生成树问题是运筹学网络优化中一个常见的基本问题．提出了一种新的求最小生成树的矩阵算法,此算法可以不必在原图上进行操作而得到最小生成树,过程简单易懂．     

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

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

基于位变异的模式遗传算法

针对简单遗传算法容易陷入局部最优点的问题,提出了一种基于位变异的模式遗传算法,并利用典型应用函数进行计算测试,结果表明该算法可有效地提高全局搜索能力,较好地解决早熟问题。     

图的最小顶点覆盖的粘贴DNA计算模型

本文在对经典粘贴模型以及全信息化的粘贴DNA计算模型的基本方法进行充分讨论的基础上,提出一种用粘贴DNA计算模型解决图的最小顶点覆盖问题的新方案,将数学问题的求解同并行生物操作有效结合.     

遗传算法中模式空间结构的研究

通过引入模式的线性表示概念，给出了模式空间的独立性及线表示式。