空值环境下的完全函数依赖和部分依赖

本文给出了空值环境下的完全函数依赖的弱保持、强保持及部分函数依赖。提出并证明了不完全关系模式若不满足空值环境下的完全函数依赖的弱保持,则它的任意一个完备一定不是非空值环境下的完全函数依赖;若满足空值环境下的完全函数依赖强保持,则它的任意一个完备,一定是非空值环境下的完全函数依赖。本文还给出了判别不完全关系满足空值环境下的完全函数依赖强、弱保持的算法。为空值环境下的模式分解奠定了基础。