论文部分内容阅读
本文给出了空值环境下广义连接依赖强保持、弱保持的概念。讨论了它们的推导规则,证明了各推导规则在强保持、弱保持条件下的存在性,以及相应的完备性结论。
In this paper, we give the concept that generalized connections rely on strong hold and weak hold under null environment. Discussed their inference rules, and proved the existence of each inference rule under strong and weak hold conditions, and the corresponding completeness conclusion.