| DOOL程序语义等价转换为Datalog 程序的转换规则 |
| |
| 引用本文： | 原锦辉,陶世群. DOOL程序语义等价转换为Datalog 程序的转换规则[J]. 计算机工程与应用, 2005, 41(8): 176-179 |
| |
| 作者姓名： | 原锦辉 陶世群 |
| |
| 作者单位： | 信息工程大学电子技术学院四系,郑州,450004;山西大学计算机科学系,太原,030006 |
| |
| 摘 要： | 演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的,因此该文提出了应用一些转换规则来将DOOL程序转换为Datalog,通过规则转换,能求出DOOL程序的最小不动点(即程序值),从而使得系统的查询操作全都由SD-DDBS最终得出结果。文中详细介绍了转换规则的具体内容。
|
| 关 键 词： | DOOD 语义 等价转换 转换规则 Datalog |
| 文章编号： | 1002-8331-(2005)08-0176-04 |
Some Semantic Equivalent Transform Rules from DOOL Program into Datalog |
| |
| YUAN Jinhui,Tao Shiqun. Some Semantic Equivalent Transform Rules from DOOL Program into Datalog[J]. Computer Engineering and Applications, 2005, 41(8): 176-179 |
| |
| Authors: | YUAN Jinhui Tao Shiqun |
| |
| Affiliation: | Yuan Jinhui1 Tao Shiqun21 |
| |
| Abstract: | Deductive object-oriented database(DOOD) is the combination of merits of deductive database and object-oriented database.This paper designs and implements a prototype system of deductive object database,SD-DOOD,which is based on the deductive database system,SD-DDDB.However,it uses a new language of the deductive object-oriented database,DOOL.The language of the deductive database is based on Datalog.Hence some transform rules are applied to change DOOL program into Datalog.In this way,the minimum fixpoint of DOOL program(i.e.value of this program) will be got,and thus the results of query will be obtained.The specific content of transform rules is introduced in details in the thesis. |
| |
| Keywords: | DOOD Semantic equivalent transform transform rule Datalog |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
