Advances in Data Base Theory

Volume 2

  • Hervé Gallaire
  • Jack Minker
  • Jean Marie Nicolas

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Database Schema Design: Cycles and Decomposition

    1. Front Matter
      Pages 1-1
    2. Joachim Biskup, Hans Hermann Brüggemann
      Pages 3-25
    3. G. Ausiello, A. D’Atri, M. Moscarini
      Pages 27-51
    4. Yoshito Hanatani
      Pages 53-84
    5. M. Gyssens, J. Paredaens
      Pages 85-122
  3. Integrity Constraints

    1. Front Matter
      Pages 143-143
    2. Lawrence J. Henschen, William W. McCune, Shamin A. Naqvi
      Pages 145-169
    3. Marco A. Casanova, Antonio L. Furtado
      Pages 211-236
  4. Incomplete Information

    1. Front Matter
      Pages 237-237
    2. Genevieve Bossu, Pierre Siegel
      Pages 239-284
    3. Tomasz Imielinski
      Pages 285-318
  5. Abstract Data Types for Formal Specifications and Views

    1. Front Matter
      Pages 319-319
    2. P. A. S. Veloso, A. L. Furtado
      Pages 321-352
    3. Paolo Paolini, Roberto Zicari
      Pages 353-389
  6. Query Language Theory

    1. Front Matter
      Pages 391-391
    2. Tomasz Imielinski, Witold Lipski
      Pages 393-409
  7. Back Matter
    Pages 411-428

About this book


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

Editors and affiliations

  • Hervé Gallaire
    • 1
  • Jack Minker
    • 2
  • Jean Marie Nicolas
    • 3
  1. 1.CGE—Laboratoire de MarcoussisMarcoussisFrance
  2. 2.Department of Computer ScienceUniversity of MarylandCollege ParkUSA
  3. 3.Department d’ InformatiqueONERA-Centre d’ Etudes et de Recherches de ToulouseToulouse CedexFrance

Bibliographic information

Industry Sectors
Finance, Business & Banking
IT & Software