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

摘要：

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

关键词：DOOD、语义、等价转换、转换规则、Datalog

所属期刊栏目：41

分类号：TP394(计算技术、计算机技术)

在线出版日期：2005-04-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：176-179