非单调数据库理论和系统研究

本课题主要是建立基于非单调逻辑与信念维护机制的数据库一体化模型，研究该模型的性质及不完全信息的表示、处理以及错误修正机理，研制非单调数据库系统。经过三年的努力，我们取得了以下工作成果：推广和发展了缺省逻辑和限制逻辑，建立了这两种典型非单调逻辑的与信念维护相结合的理论模型；基于权限理论和模型论给出了ATMS（基于假设的真值维护系统）的语义基础；提出并实现了一种解释与编译方法相结合的递归查询算法。提高了系统的查询效率；最后我们设计并完成了非单调数据库系统（NOBS），该系统已获北京市95年科技进步三等奖。在研究期间，已在国内计算机核心刊物，国际杂志12会议上发表学术论文十余篇。研究工作被国内多家单位引用（国外不详）。