Inf-datalog, Modal Logic and Complexities

Inf-Datalog extends the usual least fixpoint semantics of Datalog with greatest fixpoint semantics: we defined inf-Datalog and characterized the expressive power of various fragments of inf-Datalog in [CITE]. In the present paper, we study the complexity of query evaluation on finite models for (var...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	RAIRO. Informatique théorique et applications 2009-01, Vol.43 (1), p.1-21
Hauptverfasser:	Foustoucos, Eugénie, Guessarian, Irène
Format:	Artikel
Sprache:	eng
Schlagworte:	03C13 68Q19 Applied sciences Computer science control theory systems Exact sciences and technology Functional analysis General logic Language theory and syntactical analysis Logic and foundations Mathematical analysis Mathematical logic, foundations, set theory Mathematics Miscellaneous model-checking performance evaluation Sciences and techniques of general use specification languages Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!