主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第7期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
王云明,施伯乐.DATALOG程序的组及其应用.软件学报,1997,8(9):641-646
DATALOG程序的组及其应用
THE GROUP OF DATALOG PROGRAMS AND ITS APPLICATIONS
  修订日期:1996-11-12
DOI:
中文关键词:  DATALOG程序  增广依赖图    拓扑序列  激发序列  
英文关键词:Datalog program  augmented dependency graph  group  topological sequence  triggered sequence  
基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助.
作者单位
王云明 复旦大学计算机科学系,上海,200433 
施伯乐 复旦大学计算机科学系,上海,200433 
摘要点击次数: 3268
全文下载次数: 2784
中文摘要:
      为了提高DATALOG程序自底向上计值的效率,本文提出了把DATALOG规则分成若干个组,对这些组可以给出一个拓扑序列,而对同一个组内的各个规则可以给出一个激发序列,以此来有效地控制DATALOG程序自底向上计值时对规则的调度,从而提高计算效率.这一技术可以应用于传统的各种自底向上计算方法,本文绘出了半朴质(Semi-Naove)算法和良基模型(Well-Founded)的交替不动点算法(AlternatingFixPoint)的改进.改进后的算法比原算法在时间和空间效率上都有较大的提高.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利