Advances in Data Base Theory

1. Front Matter

   Pages i-xiv

   PDF

2. Database Schema Design: Cycles and Decomposition

   1. Front Matter

      Pages 1-1

      PDF

   2. Towards Designing Acyclic Database Schemes

      • Joachim Biskup, Hans Hermann Brüggemann

      Pages 3-25

   3. Minimal Coverings of Acyclic Database Schemata

      • G. Ausiello, A. D’Atri, M. Moscarini

      Pages 27-51

   4. Eliminating Cycles in Database Schemas

      • Yoshito Hanatani

      Pages 53-84

   5. A Decomposition Methodology for Cyclic Databases

      • M. Gyssens, J. Paredaens

      Pages 85-122

   6. Horizontal Decompositions for Handling Exceptions to Functional Dependencies

      • P. De Bra, J. Paredaens

      Pages 123-141

3. Integrity Constraints

   1. Front Matter

      Pages 143-143

      PDF

   2. Compiling Constraint-Checking Programs from First-Order Formulas

      • Lawrence J. Henschen, William W. McCune, Shamin A. Naqvi

      Pages 145-169

   3. Applications of Finite Differencing to Database Integrity Control and Query/Transaction Optimization

      • Robert Paige

      Pages 171-209

   4. On the Description of Database Transition Constraints Using Temporal Languages

      • Marco A. Casanova, Antonio L. Furtado

      Pages 211-236

4. Incomplete Information

   1. Front Matter

      Pages 237-237

      PDF

   2. Nonmonotonic Reasoning and Databases

      • Genevieve Bossu, Pierre Siegel

      Pages 239-284

   3. On Algebraic Query Processing in Logical Databases

      • Tomasz Imielinski

      Pages 285-318

5. Abstract Data Types for Formal Specifications and Views

   1. Front Matter

      Pages 319-319

      PDF

   2. Stepwise Construction of Algebraic Specifications

      • P. A. S. Veloso, A. L. Furtado

      Pages 321-352

   3. Properties of Views and their Implementation

      • Paolo Paolini, Roberto Zicari

      Pages 353-389

6. Query Language Theory

   1. Front Matter

      Pages 391-391

      PDF

   2. On the Undecidability of Equivalence Problems for Relational Expressions

      • Tomasz Imielinski, Witold Lipski

      Pages 393-409

7. Back Matter

   Pages 411-428

   PDF

This is the third book devoted to theoretical issues in data­ bases that we have edited. Each book has been the outgrowth of papers held at a workshop in Toulouse, France. The first workshop, held in 1977 focused primarily on the important topic of logic and databases. The book, Logic and Databases was the result of this effort. The diverse uses of logic for databases such as its use as a theoretical basis for databases, for deduction and for integ­ rity constraints formulation and checking was described in the chapters of the book. The interest generated by the first workshop led to the deci­ sion to conduct other workshops focused on theoretical issues in databases. In addition to logic and databases the types of papers were expanded to include other important theoretical issues such as dependency theory which, although it sometimes uses logic as a basis, does not fit with our intended meaning of logic and databases explored at the first workshop. Because of the broader coverage, and because we anticipated further workshops, the second book was entitled, Advances in Database Theory - Volume 1. The book "Logic and Databases" should be considered Volume 0 of this series.

• Base
• Volume
• addition
• constraint
• database
• database theory
• databases
• deduction
• form
• formal specification
• logic
• query processing
• types

• CGE—Laboratoire de Marcoussis, Marcoussis, France

  Hervé Gallaire

• Department of Computer Science, University of Maryland, College Park, USA

  Jack Minker

• Department d’ Informatique, ONERA-Centre d’ Etudes et de Recherches de Toulouse, Toulouse Cedex, France

  Jean Marie Nicolas

Policies and ethics