Foundations of Deductive Databases and Logic Programming

• Jack Minker: Introduction. 1-16

Negation and Stratified Databases

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

Fundamental Issues in Deductive Databases and Implementation

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

Unification and Logic Programs

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