1. ADBT 1979: Toulouse, France

Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): Advances in Data Base Theory, Vol. 1, Based on the Proceedings of the Workshop on Formal Bases for Data Bases, December 12-14, 1979, Centre d'Etudes et de Recherches de l'Ecole Nationale Supérieure de l'Aéronautique et de l'Espace de Toulouse (CERT), France. Plemum Press, New York, 1981, ISBN 0-306-40629-2

Introduction

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Background for Advances in Data Base Theory. 3-21

Data Base Design

Catriel Beeri, Moshe Y. Vardi: On the Properties of Join Dependencies. 25-71
Jan Paredaens, Dirk Janssens: Decompositions of Relations: A Comprehensive Approach. 73-100
David Maier, Alberto O. Mendelzon, Fereidoon Sadri, Jeffrey D. Ullman: Adequacy of Decompositions of Relational Databases. 101-114
Antonio M. Silva, Michel A. Melkanoff: A Method for Helping Discover the Dependencies of a Relation. 115-133

General Laws: Deduction and Integrity

Raymond Reiter: On the Integrity of Typed First Order Data Bases. 137-157
Maarten H. van Emden, T. S. E. Maibaum: Equations Compared with Clauses for Specification of Abstract Data Types. 159-193
John Grant, Jack Minker: Optimization in Deductive and Conventional Relational Database Systems. 195-234
Chin-Liang Chang: On Evaluation of Queries Containing Derived Relations in a Relational Data Base. 235-260
Charles Kellogg, Larry Travis: Reasoning with Data in a Deductively Augmented Data Management System. 261-295

Informative Capabilities for Users

Joachim Biskup: A Formal Approach to Null Values in Database Relations. 299-341
Alain Colmerauer, Jean François Pique: About Natural Logic. 343-365
Robert Demolombe: Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language. 367-395
Jürgen M. Janas: On the Feasibility of Informative Answers. 397-414

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