对象数据库的逻辑数据语言的研究

本项目研究了对象数据库的逻辑数据语言以及基于复杂对象的逻辑数据语言的语义理论和查询优化。将对象数据库的逻辑基础F-Logic与复杂对象语言COL进行了对比，证明了在语义保持不变的前提下，两种程序的Herbrand解释可以互相转变，在逻辑数据语言的查询优化处理方面，研究了相关程序的正规变换以及程序组在自底向上计值中的应用，通过语义级的变换实现查询优化。针对多媒体对象模型，提出了结构化的多媒体查询语言MOQL。并定义了一组代数算子和变换规则，从而进行查询到代数表达式的转换。有关成果为对象数据库逻辑数据语言的语义理论及实现技术研究奠定了基础。完成了预期计划，并发展成国家重点基础研究计划资助的课题。