论文部分内容阅读
本文基于中介逻辑命题演算系统MP^M构造了一个公理集合，证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出，可以方便地对MP^M、MF^M系统上的等值公式进行推导和证明。本文还讨论了该公理集合在不完全信息数据库查询优化上的应用。
中介命题演算系统MP^M的公理完备集
【摘 要】
：
本文基于中介逻辑命题演算系统MP^M构造了一个公理集合，证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出，可以方便地对MP^M、MF^M系统上的等值公式进行推导
【机 构】
：
南京航空航天大学信息科学与技术学院,计算机软件新技术国家重点实验室（南京大学）
【出 处】
：
计算机科学
【发表日期】
：
2006年2期
【基金项目】
：
计算机软件新技术国家重点实验室（南京大学）开放课题：数据库中的不完全信息与不一致信息研究,973计划：“海量信息系统规律、模型和维护机理研究”子课题：海量信息系统知识与管理研究,编号：G1999032701.
其他文献
运用系统论和GERT网络理论的思想及其原理。揭示了组合中各项目之间的组合规律，提出了风险投资组合的串联、并联和混联这3种不同的组合模式，构建了其风险与周期评估的组合GERT
与其他服务发现相比，工作流中的服务选择有着自身的特点。在目前情况下，大多数的服务选择只是从对服务本身需求的角度来考虑，并未涉及到多个服务之间的关联约束和协调性问题。而
在粗集论中，决策表简化问题可转化为极小子集问题.本文给出极小子集问题的逻辑代数解法，即通过求逻辑函数的极小析取范式或极小合取范式来获得极小子集.
将区位势概念模式运用到港口区住与腹地相互关系，建立了港口区位势的数学模型，定量分析港口区位发展潜力和竞争力。在腹地分析方面，鉴于现代港口腹地交叉重叠和动态多变的特征，舍
提出了一种混合微粒群算法，通过引入禁忌搜索算法和动态设置惯性权重等方法，提高了算法搜索全局最优解的能力并且能够有效避免早熟收敛问题。并将这种算法应用于求解实际的提前
网络移动（Network Mobility，NEMO）主要研究子网作为一个整体在全球互联网范围内移动过程中存在的网络可达性、效率和安全等方面的问题。本文介绍了NEMO基本支持协议以及嵌套NEMO
指代消解处理是自然语言处理的关键环节，也是众多语言工程项目的核心任务。本文针对指代消解的一些基本问题进行阐述，按照时间线索，对国内外各类指代消解技术方法的研究情况进行
在现代管理软件的实施中，软件产品的既定模式与用户的定制需求始终是一对难以解决的矛盾，因而提出了软件平台的概念。所谓管理软件平台，其主导设计思想就是“以客户为中心”，追求
移动互联网的访问控制使移动IPv6面临切换延迟显著增加的困境。本文在分析移动IPv6协议特点与访问控制机制行为特征的基础上，提出了一种在移动互联网访问控制应用中实现快速移
缓冲区溢出是计算机界的一个古老话题，计算机界和学术界为检测和预防缓冲区溢出投入了很多的精力。但根据CERT（www．cert．org）的数据显示，最近几年中，缓冲区溢出大约占程序错误的50％。