用于不完全信息数据库的中介逻辑演算系统MPM

摘要：

为满足不安全信息数据库的应用需求,本文提出了一种新的中介逻辑命题演算系统,证明了它是一种命题联结词含量不完全的逻辑系统,并证明了其可靠性和完备性.

关键词： 不完全信息数据库 中介逻辑命题演算系统 可靠性

作者: 毛宇光 南京航空航天大学计算机系(南京) 徐洁磐 刘滔 周勇

作者单位: 南京大学软件新技术国家重点实验室(南京) 南京航空航天大学计算机系(南京)

会议类型: 国内会议

会议名称: 第18届全国数据库学术会议

会议地点: 南宁

会议语种:中文

页码: 365-368,412

在线出版日期: 2001-05-01（万方平台首次上网日期，不代表论文的发表时间）