搜索到10篇“ DATALOG程序“的相关文章
- DOOL程序语义等价转换为Datalog程序的转换规则
- 2005年
- 演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的,因此该文提出了应用一些转换规则来将DOOL程序转换为Datalog,通过规则转换,能求出DOOL程序的最小不动点(即程序值),从而使得系统的查询操作全都由SD-DDBS最终得出结果。文中详细介绍了转换规则的具体内容。
- 原锦辉陶世群
- 关键词：演绎对象数据库DATALOG程序演绎数据库面向对象数据库
- 线性递归DataLog程序优化算法被引量：3
- 2000年
- 提出了线性齐次ＤａｔａＬｏｇ 逻辑程序的概念，并为该类程序设计了一个优化的求解算法。在此基础上提出了求解一般线性ＤａｔａＬｏｇ 程序的优化算法。该算法利用带有约束条件的递归调用方法，将线性ＤａｔａＬｏｇ 程序求解问题变换成齐次程序求解问题。算法简单，易于实现，可应用于任何线性Ｄａｔａ－Ｌｏｇ
- 王家华曹路金祥意姚天顺
- 关键词：逻辑程序DATALOG程序程序设计优化算法
- Datalog程序的正规变换及其实现
- 1998年
- 文中提出了Ｄａｔａｌｏｇ程序的正规变换，并构造了Ｄａｔａｌｏｇ程序的约束模型图，从而把正规变换的求解转化为对约束模式图的搜索．约束模式图搜索算法与经典的ＡＯ＊搜索算法及相关文献中的算法相比具有更高的效率．
- 王云明孙永玉施伯乐
- 关键词：DATALOG程序
- DATALOG程序的组及其应用被引量：4
- 1997年
- 为了提高DATALOG程序自底向上计值的效率，本文提出了把DATALOG规则分成若干个组，对这些组可以给出一个拓扑序列，而对同一个组内的各个规则可以给出一个激发序列，以此来有效地控制DATALOG程序自底向上计值时对规则的调度，从而提高计算效率．这一技术可以应用于传统的各种自底向上计算方法，本文绘出了半朴质（Semi-Naove）算法和良基模型（Well-Founded）的交替不动点算法（AlternatingFixPoint）的改进．改进后的算法比原算法在时间和空间效率上都有较大的提高．
- 王云明施伯乐
- 关键词：DATALOG程序
- 关于1-Bounded Datalog程序的语法描述
- 我们研究了在线性的双规则Datalog程序方面的递归子目标的简单语法特性。如果问题属于先前所研究的受限问题时,也能用作描述规范的单规则和双规则l-bounded程序。另外,如果这种递归规则没有循环的EDB谓词,则对于双规...
- 郭新发何守才
- 关键词：子目标查询优化
- LAV数据集成系统的查询处理
- 本文以中介器结构数据集成为背景，重点研究了实现中介器上查询处理的若干关键问题。作为后续内容的基础，本文首先介绍了构成数据集成系统基本结构的全局数据模式、基于这个全局模式描述的每个数据源局部模式。随后的内容在以下几方面展开...
- 陈彤兵
- 关键词：查询重写DATALOG程序
- Datalog 线性递归程序的自动编译
- 1998年
- 基于ＶＰＣ－扩展图模式，给出了Ｄａｔａｌｏｇ线性递归程序编译式的自动生成算法．研究表明，该算法能有效导出所有复杂类型Ｄａｔａｌｏｇ线性递归程序的编译式．
- 何云鲁汉榕
- 关键词：演绎数据库图模式DATALOG程序
- 分布式演绎数据库中的并行处理技术
- 本文讨论了分布式演绎数据库并行处理方面的两个热点问题。第一个问题是关于语义查询优化的,文章将基于逻辑的语义查询优化法推广到分布式演绎数据库中,使推理与系统的分布式特性紧密相连,提高了推理并行度。第二个问题讨论逻辑程序的计...
- 方桦茹戈华石树刚郑振楣
- 关键词：DATALOG程序
- Datalog逻辑程序调用语义及其应用研究被引量：1
- 2010年
- 提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。
- 钟勇郭伟刚钟昌乐刘凤玉李宁
- 关键词：逻辑程序数字版权保护
- 线性递归Datalog逻辑程序优化算法的研究与实现
- 该文从介绍知识库系统的基本概念开始,阐述了知识库中的几个查询算法.并着重介绍了知识库查询的半简洁算法,然后介绍了规则/目标树以及规则/目标树的计算算法、计算进时约束和结果的传播.然后该文提出一个新概念,即线性齐次Data...
- 曹路
相关作者
- 施伯乐
- 作品数：380被引量：2,732H指数：26
- 供职机构：复旦大学
- 研究主题：数据库 XML 面向对象 数据挖掘 数据模型
- 王云明
- 作品数：3被引量：6H指数：2
- 供职机构：复旦大学计算机科学技术学院
- 研究主题：DATALOG程序 异步传输模式 互连 局域网
- 曹路
- 作品数：1被引量：3H指数：1
- 供职机构：东北大学信息科学与工程学院
- 研究主题：程序设计 DATALOG程序 逻辑程序 线性递归 优化算法
- 陶世群
- 作品数：73被引量：272H指数：10
- 供职机构：山西大学计算机与信息技术学院
- 研究主题：演绎数据库 XML 小枝模式 演绎对象数据库 XML文档
- 鲁汉榕
- 作品数：76被引量：198H指数：8
- 供职机构：空军预警学院
- 研究主题：知识发现 人工智能 计算机图形学 专家系统 遗传算法
