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

Data Bases Viewed Through Formal Logic

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

Knowledge Representation and Deduction

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

Negative Information and Data Bases

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

Logic and Data Base Integrity

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

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
Werner Dilger, Gisela Zifonun: The Predicate Calculus-Language KS as a Query Language. 377-408
Alain Pirotte: High Level Data Base Query Languages. 409-436

Last update Tue Feb 14 03:47:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page