%0 Journal Article
%T 面向对象数据库的推理查询语言*
%A 张成洪
%A 施伯乐
%A 胡运发
%J -
%D 1996
%X 本文基于复旦大学开发的一个面向对象数据库系统FOOD，提出一种推理查询语言O—Datalog．该语言能方便地表达对面向对象数据的各种查询和推理要求；它可以转换成类Datalog形式，能运用各种高效计值算法，比其它一些基于非Horn子句逻辑的语言更易于实现．O—Datalog在形式上是一种Datalog的扩充，本文着重介绍其语法和语义
%K 面向对象数据库系统
%K 推理查询
%K Datalog．
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=1996s105&flag=1