Foundations of Deductive Databases and Logic Programming

Jack Minker (Ed.): Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988, ISBN 0-934613-40-0

Negation and Stratified Databases

John C. Shepherdson: Negation in Logic Programming. 19-88 BibTeX
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. 89-148 BibTeX
Allen Van Gelder: Negation as Failure Using Tight Derivations for General Logic Programs. 149-176 BibTeX
Vladimir Lifschitz: On the Declarative Semantics of Logic Programs with Negation. 177-192 BibTeX
Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. 193-216 BibTeX
Rodney W. Topor, Liz Sonenberg: On Domain Independent Databases. 217-240 BibTeX

Upen S. Chakravarthy, John Grant, Jack Minker: Foundations of Semantic Query Optimization for Deductive Databases. 243-273 BibTeX
Tomasz Imielinski: Intelligent Query Answering in Rule Based Systems. 275-312 BibTeX
Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. 313-362 BibTeX
Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. 363-394 BibTeX
Lawrence J. Henschen, Hyung-Sik Park: Compiling the GCWA in Indefinite Deductive Databases. 395-438 BibTeX
François Bancilhon, Raghu Ramakrishnan: Performance Evaluation of Data Intensive Logic Programs. 439-517 BibTeX
James A. Thom, Kotagiri Ramamohanarao, Lee Naish: A Superjoin Algorithm for Deductive Databases. 519-543 BibTeX

Paris C. Kanellakis: Logic Programming and Parallel Complexity. 547-585 BibTeX
Jean-Louis Lassez, Michael J. Maher, Kim Marriott: Unification Revisited. 587-625 BibTeX
Michael J. Maher: Equivalences of Logic Programs. 627-658 BibTeX
Yehoshua Sagiv: Optimizing Datalog Programs. 659-698 BibTeX
Maarten H. van Emden, Péter Szeredi: Converting AND-Control to OR-Control by Program Transformation. 699-709 BibTeX