中介命题演算系统MP^M的公理完备集  

The Complete Axiom Set of MP^M

作　　者：曹汝鸣[1] 毛宇光[1] 陈文彬[1] 

机构地区：[1]南京航空航天大学

出　　处：《计算机科学》2006年第2期151-154,共4页Computer Science

基　　金：计算机软件新技术国家重点实验室(南京大学)开放课题:数据库中的不完全信息与不一致信息研究;973计划:"海量信息系统规律;模型和维护机理研究"子课题:海量信息系统知识与管理研究;编号:G1999032701。

摘　　要：本文基于中介逻辑命题演算系统 MP^M 构造了一个公理集合,证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出,可以方便地对 MP^M、MF^M 系统上的等值公式进行推导和证明。本文还讨论了该公理集合在不完全信息数据库查询优化上的应用。This paper constructs an axiom set based on the medium logic propositional calculus system MPM and gives a proof of its completeness. This axiom set consists of fifteen equations, so it is easier to prove and deduce the identity equations of the MPM system and MFM system. Furthermore, the application of this axiom set on the query optimization in the incomplete information database is also discussed.

关 键 词：中介逻辑 命题演算系统 公理集 查询优化 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] O141.1[自动化与计算机技术—控制科学与工程]