计算机科学 ›› 2006, Vol. 33 ›› Issue (2): 151-154.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 本文基于中介逻辑命题演算系统MP^M构造了一个公理集合,证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出,可以方便地对MP^M、MF^M系统上的等值公式进行推导和证明。本文还讨论了该公理集合在不完全信息数据库查询优化上的应用。
关键词: 中介逻辑 命题演算系统 公理集 查询优化
Abstract: 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 syste
Key words: Medium logic, Propositional calculus system, Axiom set, Query optimization
. 中介命题演算系统MP^M的公理完备集[J]. 计算机科学, 2006, 33(2): 151-154. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I2/151
Cited