%0 Journal Article
%T 面向对象数据库的推理查询实现*
%A 张成洪
%A 施伯乐
%A 胡运发
%J -
%D 1996
%X 上文介绍了面向对象数据库系统FOOD的推理查询语言O—Datalog，本文继续讨论对O—Datalog程序的几种变换，并证明这些变换是语义等价的，从而证明了对于一个O—Datalog程序，可以为它构造一个相应的Datalog程序。并能利用该Datalog程序对原程序进行计值．最后本文还给出了对O—Datalog程序计值的算法
%K 面向对象数据库系统
%K 推理查询
%K Datalog．
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=1996s106&flag=1