###
DOI:
Journal of Software:1995.6(5):257-264

带否定的DATALOG的语义的不动点特性
周傲英,施伯乐
(复旦大学计算机系,上海,200433)
THE FIXPOINT CHARACTERISTIC OF SEMANTICS OF DATALOG WITH NEGATION
Zhou Aoying,Shi Baile
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2977   Download 2480
Received:June 22, 1993    Revised:September 14, 1993
> 中文摘要: 带否定子目标的DATALOG(称为DATALOG~)是DATALOG的一种扩充.本文研究DATALOG~语义的良基模型的不动点特性.首先,重新考察了稳定性变换,定义了新算子及其不动点.在此基础上,定义了振荡不动点模型论语义.然后,本文证明了振荡不动点模型和良基模型是等同的,说明前者可以看作是后者的构造性定义.
Abstract:Datalog with negation(called Datalog~ )is an extension of Datalog.The fixpoint characteristic of well -founded model semantics of Datalog~ is discussed in this paper.At first,the stability transformation is revisited, and a new operator OP and its fixpoint are defined.Based on this,the oscillating fixpoint model semantics is defined.Then,it is shown that for any datalog~ program the oscillating fixpoint model is identical to its well-founded model,and so,the former can be viewed as a constructive definition of the latter.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金,国家教委博士点基金的资助. 本文研究得到国家自然科学基金,国家教委博士点基金的资助.
Foundation items:
Reference text:

周傲英,施伯乐.带否定的DATALOG的语义的不动点特性.软件学报,1995,6(5):257-264

Zhou Aoying,Shi Baile.THE FIXPOINT CHARACTERISTIC OF SEMANTICS OF DATALOG WITH NEGATION.Journal of Software,1995,6(5):257-264