Total and Partial Well-Founded Datalog Coincide.

Jörg Flum, Max Kubierschky, Bertram Ludäscher: Total and Partial Well-Founded Datalog Coincide. ICDT 1997: 113-124
  author    = {J{\"o}rg Flum and
               Max Kubierschky and
               Bertram Lud{\"a}scher},
  editor    = {Foto N. Afrati and
               Phokion G. Kolaitis},
  title     = {Total and Partial Well-Founded Datalog Coincide},
  booktitle = {Database Theory - ICDT '97, 6th International Conference, Delphi,
               Greece, January 8-10, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1186},
  year      = {1997},
  isbn      = {3-540-62222-5},
  pages     = {113-124},
  ee        = {db/conf/icdt/FlumKL97.html},
  crossref  = {DBLP:conf/icdt/97},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


Krzysztof R. Apt, Roland N. Bol: Logic Programming and Negation: A Survey. J. Log. Program. 19/20: 9-71(1994) BibTeX
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX
Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
Contents BibTeX
Weidong Chen: Query Evaluation in Deductive Databases with Alternating Fixpoint Semantics. ACM Trans. Database Syst. 20(3): 239-287(1995) BibTeX
Neil Immerman: Relational Queries Computable in Polynomial Time. Information and Control 68(1-3): 86-104(1986) BibTeX
John S. Schlipf: Complexity and Undecidability Results for Logic Programming. Ann. Math. Artif. Intell. 15(3-4): 257-288(1995) BibTeX
Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. PODS 1989: 1-10 BibTeX
Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. J. Comput. Syst. Sci. 47(1): 185-221(1993) BibTeX
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230 BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:19:10 2009