空值环境下函数依赖公理系统的完备性
Completeness of Axiom System of Functional Dependencies Under Null Value Circumstances
-
摘要: 本文在文1的基础上深入讨论了另一类保持条件:伪中间保持。给出了空值环境下的函数依赖公理系统的完备性证明。Abstract: On the basis of paper 1,another kind of holding condition pseudo-middle hold is deeply discussed in this paper.Also,we give out the complete proof of axiom system of functional dependencies under null value circumstances.
下载: