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

摘要

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