带否定的DATALOG的语义的不动点特性
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本文研究得到国家自然科学基金,国家教委博士点基金的资助.


THE FIXPOINT CHARACTERISTIC OF SEMANTICS OF DATALOG WITH NEGATION
Author:
Affiliation:

Fund Project:

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

    带否定子目标的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.

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

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

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

京公网安备 11040202500063号