| 面向对象数据库的推理查询实现* |
| |
| 引用本文： | 张成洪,施伯乐,胡运发. 面向对象数据库的推理查询实现*[J]. 软件学报, 1996, 7(Z1): 38-44 |
| |
| 作者姓名： | 张成洪 施伯乐 胡运发 |
| |
| 作者单位： | 复旦大学计算机科学系上海200433;复旦大学计算机科学系上海200433;复旦大学计算机科学系上海200433 |
| |
| 基金项目： | 本文研究得到国家863高科技项目和国家自然科学基金资助. |
| |
| 摘 要： | 上文介绍了面向对象数据库系统FOOD的推理查询语言O—Datalog，本文继续讨论对O—Datalog程序的几种变换，并证明这些变换是语义等价的，从而证明了对于一个O—Datalog程序，可以为它构造一个相应的Datalog程序。并能利用该Datalog程序对原程序进行计值．最后本文还给出了对O—Datalog程序计值的算法．
|
| 关 键 词： | 面向对象数据库系统，推理查询 Datalog． |
| 收稿时间： | 1995-07-10 |
THE IMPLEMENTATIoN OF THE DEDUCTIVE QUERY OF AN OBJECT ORIENTED DATABASE |
| |
| Zhang Chenghong,Shi Baile and Hu Yunfa. THE IMPLEMENTATIoN OF THE DEDUCTIVE QUERY OF AN OBJECT ORIENTED DATABASE[J]. Journal of Software, 1996, 7(Z1): 38-44 |
| |
| Authors: | Zhang Chenghong Shi Baile Hu Yunfa |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
