0. ADBT 1977: Toulouse, France

Hervé Gallaire, Jack Minker (Eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory, Plemum Press, New York, 1978, ISBN 0-306-40060-X

Introduction

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: An Overview and Intoduction to Logic and Data Bases. 3-30 BibTeX

Data Bases Viewed Through Formal Logic

Jean-Marie Nicolas, Hervé Gallaire: Data Base: Theory vs. Interpretation. 33-54 BibTeX
Raymond Reiter: On Closed World Data Bases. 55-76 BibTeX
Robert A. Kowalski: Logic for Data Description. 77-103 BibTeX

Knowledge Representation and Deduction

Jack Minker: An Experimental Relational Data Base System Based on Logic. 107-147 BibTeX
Raymond Reiter: Deductive Question-Answering on Relational Data Bases. 149-177 BibTeX
Charles Kellogg, Philip Klahr, Larry Travis: Deductive Planning and Pathfinding for Relational Data Bases. 179-200 BibTeX
Chin-Liang Chang: DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. 201-236 BibTeX
Marco Colombetti, Paolo Paolini, Giuseppe Pelagatti: Nondeterministic Languages Used for the Definition of Data Models. 237-257 BibTeX
Sten-Åke Tärnlund: An Axiomatic Data Base Theory. 259-289 BibTeX

Negative Information and Data Bases

Keith L. Clark: Negation as Failure. 293-322 BibTeX

Logic and Data Base Integrity

Jean-Marie Nicolas, Kioumars Yazdanian: Integrity Checking in Deductive Data Bases. 325-344 BibTeX

Query Languages and Applications

Ivan Futó, Ferenc Darvas, Péter Szeredi: The Application of Prolog to the Development of QA and BDS Systems. 347-376 BibTeX
Werner Dilger, Gisela Zifonun: The Predicate Calculus-Language KS as a Query Language. 377-408 BibTeX
Alain Pirotte: High Level Data Base Query Languages. 409-436 BibTeX