Foundations of Deductive Databases and Logic Programming

• Jack Minker: Introduction. 1-16 BibTeX

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

Fundamental Issues in Deductive Databases and Implementation

• 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

Unification and Logic Programs

• 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