Paper: Fixpoint extensions of first-order logic and datalog-like languages (at LICS 1989)

Authors: Serge Abiteboul Victor Vianu

Abstract

Datalog extensions with fixpoint semantics motivated by database queries and updates are studied. The authors suggest nontrivial fixpoint extensions of first-order logic with nondeterministic and/or noninflationary semantics. Certain properties of the language FO+IFP, such as the collapse of the hierarchy (based on the nesting of fixpoints) or the existential normal form, hold for these various logics. Their expressive power is characterized

BibTeX

  @InProceedings{AbiteboulVianu-Fixpointextensionso,
    author = 	 {Serge Abiteboul and Victor Vianu},
    title = 	 {Fixpoint extensions of first-order logic and datalog-like languages },
    booktitle =  {Proceedings of the Fourth Annual IEEE Symposium on Logic in Computer Science (LICS 1989)},
    year =	 {1989},
    month =	 {June}, 
    pages =      {71--79},
    location =   {Pacific Grove, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }