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

Completeness of Axiom System of Functional Dependencies Under Null Value Circumstances

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

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.