空值环境下模板依赖的研究

本文讨论了一类自身具有有效，完备公理系统的空值环境下的模板依赖，给出了模板依赖的强，弱保持条件。     

空值环境下子集依赖的研究

为了研究ＮＥＭＶＤ，ＮＥＪＤ的完备的推导公理，因此对ＮＥＭＶＤ，ＮＥＪＤ的研究转向寻找一种新的依赖类的研究。本文给出了空值环境下子集依赖的概念，讨论了强，弱保持下的自反律，传递律的存在条件，在此基础上用图算法证明了它们关于ＮＳＤ强保持是完备的。     

含有空值的多值依赖强保持条件的进一步研究

本文对含有空值的多值依赖的强保持条件进行深入讨论，对文［１］，［２］中的相应概念做了根本的修正，提出了新的含有空值的多值依赖强保持条件，论证了它的正确性，从而为进一步讨论不完全关系的应用提供了一个可靠的条件。     

模糊空值环境下关系数据库的几种数据依赖

介绍了模糊空值环境下的嵌入多值依赖、广义连接依赖、子集依赖,及其相应的公理系统。     

空值环境下子集依赖（NSD）的研究

为了研究ＮＥＭＶＤ、ＮＥＪＤ的完备的推导公理，因此对ＮＥＭＶＤ、ＮＥＪＤ的研究转向寻找一种新的依赖类的研究。本文给出了空值环境下子集依赖的概念（强、弱保持），讨论了强、弱保持下的自反律、传递律的存在条件，在此基础上用图算法证明了它们关于ＮＳＤ强保持是完备的。     

空值环境下的NJD及其推导规则的研究

本文在空值环境下的ＮＦＤ，ＮＭＶＤ强，弱保持条件及相应的推导公理的基础上，讨论了空值环境下的连接依赖的强，弱保持成立的条件及相应定理。同时，讨论了ＮＪＤ在强，弱保持条件下的推导公理存在性问题。     

模糊空值环境下的关系数据库的连接依赖

给出模糊空值连接依赖的两个概念,一个是基于无损连接得出的,另一个是类似模糊空值多值依赖给出的,并证明了两个概念的等价性。定义了模糊空值嵌入连接依赖。给出模糊空值连接依赖的公理系统,并且进行了有效性证明。     

空值环境下广义连接依赖（NGJD）及推导规则的研究

本文给出了空值环境下广义连接依赖强保持、弱保持的概念。讨论了它们的推导规则，证明了各推导规则在强保持、弱保持条件下的存在性，以及相应的完备性结论。     

空值环境下NMVD公理系统存在性的进一步研究

由于空值的出现，使ＮＭＶＤ公理系统的存在性更趋于复杂。本文分别讨论了在单一的强，弱保持条件下和强，弱保持的复合条件下公理存在的条件，并进行了相应的证明。     

空值环境下模板依赖（NTD）的研究

本文讨论了一类自身具有有效、完备公理系统的空值环境下的模板依赖，给出了模板依赖的强、弱保持条件。     

空值环境下NFD—NMVD混合强保持逻辑蕴涵问题

本文讨论了空值环境下的ＮＦＤ－ＮＭＶＤ混合强保持依赖基的定义和求解算法，并讨论了算法的有效性完备性，给出了ＮＦＤ－ＮＭＶＤ混合推导公理，强保持集属性闭包的求解算法，从而解决了ＮＦＤ－ＮＭＶＤ混合情况下的强保持逻辑蕴涵问题。     

模糊多值依赖的深入探讨

本文探讨了模糊多值依赖的性质,对单一模糊多值依赖环境下的推导规则进行了补充;给出了求依赖基的算法;讨论了在模糊函数依赖、模糊多值依赖混合作用下的推导公理系统;介绍了模糊嵌入多值依赖的概念及公理系统。     

基于空值环境下扩展关系模型的查询处理研究

由于空值的出现，使数据库更新操作更趋势复杂。为适应更新要求，建立了扩展关系模型。本文正是基于这种模型进行对查询处理的讨论，给出了相应的查询策略及实现过程。     

XML多值依赖及其消除冗余模式的算法

从消除XML文档内数据冗余的角度出发研究了文档的规范化问题.首先引入XML上的数据冗余及其消除处理示例,同时基于函数依赖,提出了规范化的DTD概念和XML DTD 规范化处理规则;其次通过XML多值依赖的定义,给出用于消除冗余模式的算法;最后给出用于XML模式及其消除冗余模式的算法.该算法相应于其他XML模式的研究,在算法产生的层次模式中,完全MVD和嵌入MVD的集合由给出的MVD集合导出;并且产生的XML模式具有消除冗余模式和满足无损连接的特性.