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

Data Bases Viewed Through Formal Logic

Knowledge Representation and Deduction

Negative Information and Data Bases

Logic and Data Base Integrity

Query Languages and Applications