DOOL程序语义等价转换为Datalog程序的转换规则  

Some Semantic Equivalent Transform Rules from DOOL Program into Datalog

作　　者：原锦辉[1] 陶世群[2] 

机构地区：[1]信息工程大学电子技术学院四系,郑州450004 [2]山西大学计算机科学系,太原030006

出　　处：《计算机工程与应用》2005年第8期176-179,共4页Computer Engineering and Applications

摘　　要：演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的,因此该文提出了应用一些转换规则来将DOOL程序转换为Datalog,通过规则转换,能求出DOOL程序的最小不动点(即程序值),从而使得系统的查询操作全都由SD-DDBS最终得出结果。文中详细介绍了转换规则的具体内容。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.

关 键 词：演绎对象数据库 DOOL程序 语义等价转换 DATALOG程序 程序转换规则 演绎数据库 面向对象数据库 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]