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

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/GallaireMN79
- ask others
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Background for Advances in Data Base Theory. 3-21

Data Base Design

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/BeeriV79
- ask others
Catriel Beeri, Moshe Y. Vardi: On the Properties of Join Dependencies. 25-71
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/ParedaensJ79
- ask others
Jan Paredaens, Dirk Janssens: Decompositions of Relations: A Comprehensive Approach. 73-100
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/MaierMSU79
- ask others
David Maier, Alberto O. Mendelzon, Fereidoon Sadri, Jeffrey D. Ullman: Adequacy of Decompositions of Relational Databases. 101-114
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/SilvaM79
- ask others
Antonio M. Silva, Michel A. Melkanoff: A Method for Helping Discover the Dependencies of a Relation. 115-133

General Laws: Deduction and Integrity

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/Reiter79
- ask others
Raymond Reiter: On the Integrity of Typed First Order Data Bases. 137-157
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/EmdenM79
- ask others
Maarten H. van Emden, T. S. E. Maibaum: Equations Compared with Clauses for Specification of Abstract Data Types. 159-193
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/GrantM79
- ask others
John Grant, Jack Minker: Optimization in Deductive and Conventional Relational Database Systems. 195-234
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/Chang79
- ask others
Chin-Liang Chang: On Evaluation of Queries Containing Derived Relations in a Relational Data Base. 235-260
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/KelloggT79
- ask others
Charles Kellogg, Larry Travis: Reasoning with Data in a Deductively Augmented Data Management System. 261-295

Informative Capabilities for Users

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/Biskup79
- ask others
Joachim Biskup: A Formal Approach to Null Values in Database Relations. 299-341
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/ColmerauerP79
- ask others
Alain Colmerauer, Jean François Pique: About Natural Logic. 343-365
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/Demolombe79
- ask others
Robert Demolombe: Assigning Meaning to Ill-Defined Queries Expressed in Predicate Caculus Language. 367-395
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/adbt/Janas79
- ask others
Jürgen M. Janas: On the Feasibility of Informative Answers. 397-414