摘要
为了研究ＮＥＭＶＤ、ＮＥＪＤ的完备的推导公理，因此对ＮＥＭＶＤ、ＮＥＪＤ的研究转向寻找一种新的依赖类的研究。本文给出了空值环境下子集依赖的概念（强、弱保持），讨论了强、弱保持下的自反律、传递律的存在条件，在此基础上用图算法证明了它们关于ＮＳＤ强保持是完备的。
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1994年第8期11-14,共4页
Journal of Computer Research and Development
基金
国家自然科学基金
黑龙江省自然科学基金
关键词
空值环境
子集依赖
NSD
数据库
null value circumstance, subset dependencies, equivalent.
