Abstract is missing.
- IntroductionJack Minker. 1-16
- Towards a Theory of Declarative KnowledgeKrzysztof R. Apt, Howard A. Blair, Adrian Walker. 89-148
- Negation as Failure Using Tight Derivations for General Logic ProgramsAllen Van Gelder. 149-176
- On Domain Independent DatabasesRodney W. Topor, Liz Sonenberg. 217-240
- Foundations of Semantic Query Optimization for Deductive DatabasesUpen S. Chakravarthy, John Grant, Jack Minker. 243-273
- A Logic-based Language for Database UpdatesSanjay Manchanda, David Scott Warren. 363-394
- Compiling the GCWA in Indefinite Deductive DatabasesLawrence J. Henschen, Hyung-Sik Park. 395-438
- Performance Evaluation of Data Intensive Logic ProgramsFrançois Bancilhon, Raghu Ramakrishnan. 439-517
- A Superjoin Algorithm for Deductive DatabasesJames A. Thom, Kotagiri Ramamohanarao, Lee Naish. 519-543
- Unification RevisitedJean-Louis Lassez, Michael J. Maher, Kim Marriott. 587-625
- Equivalences of Logic ProgramsMichael J. Maher. 627-658
- Optimizing Datalog ProgramsYehoshua Sagiv. 659-698
- Converting AND-Control to OR-Control by Program TransformationMaarten H. van Emden, Péter Szeredi. 699-709