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