DATALOG程序的组及其应用
DOI:
CSTR:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本文研究得到国家自然科学基金和国家863高科技项目基金资助.


THE GROUP OF DATALOG PROGRAMS AND ITS APPLICATIONS
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    为了提高DATALOG程序自底向上计值的效率,本文提出了把DATALOG规则分成若干个组,对这些组可以给出一个拓扑序列,而对同一个组内的各个规则可以给出一个激发序列,以此来有效地控制DATALOG程序自底向上计值时对规则的调度,从而提高计算效率.这一技术可以应用于传统的各种自底向上计算方法,本文绘出了半朴质(Semi-Naove)算法和良基模型(Well-Founded)的交替不动点算法(AlternatingFixPoint)的改进.改进后的算法比原算法在时间和空间效率上都有较大的提高.

    Abstract:

    In order to gain more etticiency when calculating a Datalog program bottom up,a suggestion is proposed to divide the Set of Datalog rules into the several groups.A reasonable sequence is provided for those groups,and SO for rules in fhe same group as well.Consequently.according to those sequences scheduling rules will result in more effi-ciency when calculating a Datalog program bottom-up.This ordering technique can be ap-plied to any traditional bottom-up algorithms,hence the wide application of group.The authors put forward some improved versions of certain traditional algorithms.and they are more efficient than the previous versions in space and time.It is also pointed out that the conception of group has more applications other than improving bottom-up calculations.

    参考文献
    相似文献
    引证文献
引用本文

王云明,施伯乐. DATALOG程序的组及其应用.软件学报,1997,8(9):641-646

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:1996-11-12
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号