Abstract is missing.
- An Overview and Intoduction to Logic and Data BasesHervé Gallaire, Jack Minker, Jean-Marie Nicolas. 3-30
- Data Base: Theory vs. InterpretationJean-Marie Nicolas, Hervé Gallaire. 33-54
- On Closed World Data BasesRaymond Reiter. 55-76
- Logic for Data DescriptionRobert A. Kowalski. 77-103
- Deductive Question-Answering on Relational Data BasesRaymond Reiter. 149-177
- Deductive Planning and Pathfinding for Relational Data BasesCharles Kellogg, Philip Klahr, Larry Travis. 179-200
- DEDUCE 2: Further Investigations of Deduction in Relational Data BasesChin-Liang Chang. 201-236
- Nondeterministic Languages Used for the Definition of Data ModelsMarco Colombetti, Paolo Paolini, Giuseppe Pelagatti. 237-257
- An Axiomatic Data Base TheorySten-Åke Tärnlund. 259-289
- Negation as FailureKeith L. Clark. 293-322
- Integrity Checking in Deductive Data BasesJean-Marie Nicolas, Kioumars Yazdanian. 325-344
- The Application of Prolog to the Development of QA and BDS SystemsIvan Futó, Ferenc Darvas, Péter Szeredi. 347-376
- The Predicate Calculus-Language KS as a Query LanguageWerner Dilger, Gisela Zifonun. 377-408
- High Level Data Base Query LanguagesAlain Pirotte. 409-436