不完全信息数据库的逻辑基础研究

摘要：

不完全信息问题存在于每一种数据库模型中.传统的二值逻辑难以适应不完全信息处理的需求,而多值逻辑能更多地捕获不完全信息的直觉含义.在关系数据库系统的实现中,对不完全信息的处理通常采用三值逻辑.为满足实际应用的需要,本文选取了适用于不完全信息处理的一组联结词∧、∨、→、和μ作为构造逻辑系统的原始联结词.构造了一种新的三值逻辑命题演算系统MPM和三值逻辑谓词演算系统MFM,证明了其可靠性和完备性,并给出了在查询优化方面的应用.MFM可作为研究不完全信息数据库理论的逻辑基础.

关键词：不完全信息、三值逻辑、空值、命题演算、谓词演算

所属期刊栏目：38

分类号：TP311.131(计算技术、计算机技术)

资助基金：国家重点实验室基金

在线出版日期：2007-01-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：679-686