面向对象数据库的推理查询实现*

上文介绍了面向对象数据库系统food的推理查询语言o—datalog，本文继续讨论对o—datalog程序的几种变换，并证明这些变换是语义等价的，从而证明了对于一个o—datalog程序，可以为它构造一个相应的datalog程序。并能利用该datalog程序对原程序进行计值．最后本文还给出了对o—datalog程序计值的算法．