微信服务号

微信订阅号

2025-4-4- 7
Home > Archive>Volume 6, Issue 5, 1995 >257-264
PDF HTML XML Export Cite reminder
THE FIXPOINT CHARACTERISTIC OF SEMANTICS OF DATALOG WITH NEGATION
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [1]
    • |
  • Related
    • | | |
  • Comments
    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.

    Reference
    1 Przymuskinski T C．Every logic program has a natural stratification and an iterated fixed point model．Proc．of 8th ACM Symp．on PODS，1989．11—21． 2 Gelder A V，Ross K A，Schlipf J S．The well—founded semantics for general logic programs．J．of ACM，1991， 38(3)：620—650． 3 Clark K L．Negation as failure．In：Gallaier H，Minker J eds．Logic and Database，Plenum Press．1978．293— 322． 4 Gelder A V．Negation as failure using tight derivation for general logic programs．In：Minker J ed．Foundations of Deductive Databases and Logic Programming，Morgan Kaufmann Publishers．1988．149—176． 5 Przymusinski T C．On declarative semantics of deductive databases and logic programs．In：Minker J ed．Founda- tions of Deductive Databases and Logic Programming，Morgan Kaufmann Publishers，1988．193—216． 6 Gelfond M，Lifschitz V．The stable model semantics for logic program．In：Proc．of Intl．Conf．on Logic Program- ming，1988．1070—1080． 7 Apt K R，Blair H A，Walker A．Towards a theory of declarative knowledge．In：Minker J ed．Foundations of Deductive Databases and Logic Programming，Morgan Kaufmann Publishers，1988．89—148．
    Related
    Cited by
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:June 22,1993
  • Revised:September 14,1993
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2032699Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063