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

• 作者: 任凯 周勇 曹子宁 毛宇光
• 来源期刊: 南京航空航天大学学报
• 学科: 工学
• 关键词: 不完全信息 三值逻辑 空值 命题演算 谓词演算
• 年，卷（期）: 2006,（6）
• 页码范围: 679-686
• 页数: 8页
• 分类号: TP311.131
• 字数: 8727字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-2615.2006.06.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毛宇光	南京航空航天大学信息科学与技术学院	63	414	10.0	17.0
5	周勇	南京航空航天大学信息科学与技术学院	47	321	8.0	16.0
6	曹子宁	南京航空航天大学信息科学与技术学院	25	200	8.0	13.0
7	任凯	南京航空航天大学信息科学与技术学院	2	6	2.0	2.0