Title :
Fixpoint extensions of first-order logic and datalog-like languages
Author :
Abiteboul, Serge ; Vianu, Victor
Author_Institution :
INRIA, Le Chesnay, France
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
Keywords :
formal languages; formal logic; FO+IFP; database queries; datalog extensions; datalog-like languages; existential normal form; expressive power; first-order logic; fixpoint semantics; hierarchy collapse; nondeterministic semantics; noninflationary semantics; nontrivial fixpoint extensions; updates; Databases; Fires; Logic programming; Polynomials;
Conference_Titel :
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on
Conference_Location :
Pacific Grove, CA
Print_ISBN :
0-8186-1954-6
DOI :
10.1109/LICS.1989.39160
