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

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

空值环境下嵌入多值依赖的研究

本文深入探讨了空值环境下的满足强，弱保持的嵌入多值依赖的概念，给出了嵌入多值依赖的投影规则及ＮＭＶＤ：Ｘ→→Ｚ强保持成立的充要条件，证明了逆投影性定理。     

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

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

空值环境下函数依赖公理系统的完备性

本文在文[1]的基础上深入讨论了另一类保持条件:伪中间保持。给出了空值环境下的函数依赖公理系统的完备性证明。     

关于传递闭包和函数依赖完备公理系统存在问题研究

数据依赖在数据库设计中起着十分重要的作用．自Ｃｏｄｄ提出函数依赖（ＦＤｓ）、Ｆａｇｉｎ引入多值依赖（ＭＶＤｓ）后，近几年来人们又根据设计中的需要引入多种新的依赖，如在工程数据库设计中所引进的传递闭包依赖（ＣＤｓ）等．对这些依赖一般是按其是否具有完备的公理系统而划分为两大类，因为完备性公理系统往往具有有效的判定算法为先决条件．本文对ＣＤｓ和ＦＤｓ的ｋ元完备公理系统存在问题进行了研究，证明了ＣＤｓ和ＦＤｓ不具有共同的ｋ元完备公理系统这一结论．     

SQL语言中量词和空值的使用技术

在ＳＱＬ语言中可以引入全称量词符号ＦＯＲＡＬＬ，使ＳＱＬ语言使用更为自然，方便。本文讨论全称量词，存在量词和ＡＬＬ三种谓词之间的转换，联系和区别，以及空值存在时ＳＱＬ的使用技术。     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

模糊空值环境下关系数据库的范式理论

文章探讨了模糊空值环境下关系数据库的范式理论,将规范化程度分为:一范式、二范式、三范式、BC范式、四范式、五范式,并对范式之间的关系进行了论证。     

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

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