面向对象数据库形式化方法的研究

本课题以复杂对象逻辑和高阶逻辑为基础，探索了形式化对象模型，逻辑对象查询语言及对象知识库的设计及实现技术。分析了各种已有对象模型的特点，并对其进行了分类研究；研究对比了各种对象逻辑的描述方法及表达能力，证明了在不考虑oid生成的情况下，F-logic语言与col语言具有相同的操作复杂对象的能力；设计实现了逻辑对象语言O-Dataleg，研究了其高效计值算法；提出了对象知识库系统∞KB并研究了其数据模型，存储管理技术及高效计值技术。本课题对面向对象数据库的形式化理论及其实现技术进行了较系统的研究。课题完成了预期计划，达到了预定的目标，取得了一系列成果。有关成果已在各种刊物公开发表，取得较好的影响。