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