###
DOI:
Journal of Software:1997.8(9):641-646

DATALOG程序的组及其应用
王云明,施伯乐
(复旦大学计算机科学系,上海,200433)
THE GROUP OF DATALOG PROGRAMS AND ITS APPLICATIONS
WANG Yunming,SHI Baile
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3012   Download 2637
    Revised:November 12, 1996
> 中文摘要: 为了提高DATALOG程序自底向上计值的效率,本文提出了把DATALOG规则分成若干个组,对这些组可以给出一个拓扑序列,而对同一个组内的各个规则可以给出一个激发序列,以此来有效地控制DATALOG程序自底向上计值时对规则的调度,从而提高计算效率.这一技术可以应用于传统的各种自底向上计算方法,本文绘出了半朴质(Semi-Naove)算法和良基模型(Well-Founded)的交替不动点算法(AlternatingFixPoint)的改进.改进后的算法比原算法在时间和空间效率上都有较大的提高.
中文关键词: DATALOG程序  增广依赖图    拓扑序列  激发序列  
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.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助. 本文研究得到国家自然科学基金和国家863高科技项目基金资助.
Foundation items:
Reference text:

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

WANG Yunming,SHI Baile.THE GROUP OF DATALOG PROGRAMS AND ITS APPLICATIONS.Journal of Software,1997,8(9):641-646