| 摘要: |
| 上文介绍了面向对象数据库系统FOOD的推理查询语言O—Datalog，本文继续讨论对O—Datalog程序的几种变换，并证明这些变换是语义等价的，从而证明了对于一个O—Datalog程序，可以为它构造一个相应的Datalog程序。并能利用该Datalog程序对原程序进行计值．最后本文还给出了对O—Datalog程序计值的算法． |
| 关键词: 面向对象数据库系统，推理查询,Datalog． |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家863高科技项目和国家自然科学基金资助. |
|
| THE IMPLEMENTATIoN OF THE DEDUCTIVE QUERY OF AN OBJECT ORIENTED DATABASE |
|
Zhang Chenghong,Shi Baile,Hu Yunfa
|
| Abstract: |
| The last paper has introduced the O—Datalog，a deductive query language of the object—oriented database system FOOD．This paper puts great emphasis on dis-cussing some transformations of the O—Datalog programs，and proving that these trans-tormations preserve the same semantics．So an O—Datalog program can be transformed into a corresponding Datalog program and can be evaluated using the Datalog program，then an algorithm of evaluating the O—Datalog programs is given． |
| Key words: Objeet—oriented database system,deductive query,Datalog． |
