作者：毛宇光; 曹子宁; 任凯; 周勇不完全信息三值逻辑空值命题演算谓词演算
摘要：不完全信息问题存在于每一种教据库模型中。传统的二值逻辑难以适应不完全信息处理的需求，而多值逻辑能更多地捕获不完全信息的直觉含义。在关系数据库系统的实现中，对不完全信息的处理通常采用三值逻辑。为满足实际应用的需要，本文选取了适用于不完全信息处理的一组联结词∧、∨、→、┐和μ作为构造逻辑系统的原始联结词。构造了一种新的三值逻辑命题演算系统MP^M和三值逻辑谓词演算系统MF^M，证明了其可靠性和完备性，并给出了在查询优化方面的应用。MF^M可作为研究不完全信息数据库理论的逻辑基础。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《南京航空航天大学学报》（CN：32-1429/V）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《南京航空航天大学学报》开设哲学、政治、经济、管理、法律、社会、航空、航天、民航、语言、文学、艺术、教育、心理等栏目，刊载相关领域的研究论文、调查报告等，着力推介原创性理论成果与实践成果，竭诚欢迎广大学者投稿。
杂志详情
