| 摘要: |
| 本文基于复旦大学开发的一个面向对象数据库系统FOOD，提出一种推理查询语言O—Datalog．该语言能方便地表达对面向对象数据的各种查询和推理要求；它可以转换成类Datalog形式，能运用各种高效计值算法，比其它一些基于非Horn子句逻辑的语言更易于实现．O—Datalog在形式上是一种Datalog的扩充，本文着重介绍其语法和语义． |
| 关键词: 面向对象数据库系统，推理查询，Datalog． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家863高科技项目和国家自然科学基金资助. |
|
| A DEDUCTIVE QUERY LANGUAGE oF THE oBJECT ORIENTED DATABASE |
|
Zhang Chemghong,Shi Baile,Hu Yunfa
|
| Abstract: |
| Based on the object—oriented database system FOOD which has been developed by Fudan University，a deductive query language O—Datalog is presented in this paper．O—Datalog language can easily express various requirements to query and deduce from the object—oriented database．It can be translated to a Datalog—like form，SO the O—Datalog programs can be evaluated using the efficient algorithms for evaluating Datalog programs．It'S easier to implement the language than to implement those based on non—Horn logics．O—Datalog is firmly an extension of Datalog in form．The syntax and the semantics of the O—Datalog language are discussed in this paper． |
| Key words: Object—oriented database system,deductive query,Datalog． |
