2. ADBT 1982: Toulouse, France

Hervé Gallaire, Jean-Marie Nicolas, Jack Minker (Eds.): Advances in Data Base Theory, Vol. 2, Based on the Proceedings of the Workshop on Logical Data Bases, December 14-17, 1982, Centre d'études et de recherches de Toulouse, France. Plenum Press, New York, 1984, ISBN 0-306-41636-0

Database Schema Design: Cycles and Decomposition

Joachim Biskup, Hans Hermann Brüggemann: Towards Designing Acyclic Database Schemes. 3-25
Giorgio Ausiello, Alessandro D'Atri, Marina Moscarini: Minimal Coverings of Acyclic Database Schemata. 27-51
Yoshito Hanatani: Eliminating Cycles in Database Schemas. 53-84
Marc Gyssens, Jan Paredaens: A Decomposition Methodology for Cyclic Databases. 85-122
Paul De Bra, Jan Paredaens: Horizontal Decompositions for Handling Exceptions to Functional Dependencies. 123-141

Integrity Constraints

Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. 145-169
Robert Paige: Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization. 171-209
Marco A. Casanova, Antonio L. Furtado: On the Description of Database Transition Constraints Using Temporal Languages. 211-236

Incomplete Information

Genevieve Bossu, Pierre Siegel: Nonmonotonic Reasoning and Databases. 239-284
Tomasz Imielinski: On Algebraic Query Processing in Logical Databases. 285-318

Abstract Data Types for Formal Specifications and Views

Paulo A. S. Veloso, Antonio L. Furtado: Stepwise Construction of Algebraic Specifications. 321-352
Paolo Paolini, Roberto Zicari: Properties of Views and Their Implementation. 353-389

Query Language Theory

Tomasz Imielinski, Witold Lipski Jr.: On th Undecidability of Equivalence Problems for Relational Expressions. 393-409

Last update Thu May 17 02:27:32 2012 CET by the DBLP Team —

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