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

Research of Subset Dependency （NSD） Under Null Value Circumstances

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

Abstract: In this paper, the concept for subset dependency under null value circumstsnces （strog or weak holding） is given. The existential conditions of reflectivity and transitivity under strong or weak holding are discussed. It is proved by graph algorithm that they are complete to NSD strong holding.