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

• 作者: 原锦辉 陶世群
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: DOOD 语义 等价转换 转换规则 Datalog
• 年，卷（期）: 2005,（8）
• 所属期刊栏目: 数据库与信息处理
• 页码范围: 176-179
• 页数: 4页
• 分类号: TP394
• 字数: 4285字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.08.055

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陶世群	山西大学计算机科学系	58	459	11.0	19.0
2	原锦辉	信息工程大学电子技术学院四系	2	4	1.0	2.0