下一代数据库系统的体系结构

本课题研究了下一代数据库系统关键技术；面向对象数据库技术和知识库技术的结合。研究了在知识库系统中融入面向对象特征的方法，实现了KBASE（+），进行了其说明性查询语言的语义重构。研究了FOODB上实现推理查询语言的理论和技术问题。本课题研究了下一代数据库典型的复杂对象及期查询语言，提出了该语言的语法结构。研究了其语义理论。本课题感还研究了演绎数据库的查询优化，提出了一个采用分而治之思想的系统，高效的编译方法，并给出相应的通用算法。为下一代数据库系统的性能优化奠定了基础。课题完成了预期计划，达到了预期目标。有关成果在863课题中得到应用，并发展为新一阶段的863智能机主题的课题。