Constraint Databases

  • Gabriel Kuper
  • Leonid Libkin
  • Jan Paredaens

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Introduction

    1. Gabriel Kuper, Leonid Libkin, Jan Paredaens
      Pages 1-16
  3. Theoretical Foundations

    1. Front Matter
      Pages 17-20
    2. Jan Van den Bussche
      Pages 21-54
    3. Michael Benedikt, Leonid Libkin
      Pages 55-87
    4. Stéphane Grumbach, Gabriel Kuper, Jianwen Su
      Pages 89-107
    5. Michael Benedikt, Leonid Libkin
      Pages 109-129
    6. Jan Chomicki, Leonid Libkin
      Pages 131-154
    7. Peter Z. Revesz
      Pages 155-170
  4. Spatial and Temporal Data

    1. Front Matter
      Pages 171-174
    2. Gabriel Kuper, Michel Scholl
      Pages 175-198
    3. Marc Gyssens, Luc Vandeurzen, Dirk Van Gucht
      Pages 199-229
    4. Bart Kuijpers, Victor Vianu
      Pages 231-273
    5. Bart Kuijpers, Gabriel Kuper, Jan Paredaens
      Pages 275-291
    6. Bart Kuijpers, Dirk Van Gucht
      Pages 293-303
    7. Pierre Wolper
      Pages 305-314
  5. Algorithmic Aspects

    1. Front Matter
      Pages 315-317
    2. Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin
      Pages 319-334
    3. Dina Goldin
      Pages 335-342
    4. Sridhar Ramaswamy
      Pages 343-360
  6. Prototypes

    1. Front Matter
      Pages 361-363
    2. Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin
      Pages 365-382
    3. Peter Revesz
      Pages 383-389
    4. David Toman
      Pages 391-399
  7. Back Matter
    Pages 401-428

About this book


This book is the first comprehensive survey of the field of constraint databases. Constraint databases are a fairly new and active area of database research. The key idea is that constraints, such as linear or polynomial equations, are used to represent large, or even infinite, sets in a compact way. The ability to deal with infinite sets makes constraint databases particularly promising as a technology for integrating spatial and temporal data with standard re­ lational databases. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational geometry, as well as symbolic computation, to the design and analysis of data models and query languages. The book is a collaborative effort involving many authors who have con­ tributed chapters on their fields of expertise. Despite this, the book is designed to be read as a whole, as opposed to a collection of individual surveys. In par­ ticular, the terminology and the style of presentation have been standardized, and there are multiple cross-references between the chapters. The idea of constraint databases goes back to the late Paris Kanellakis.


Datalog GIS Logik SQL algorithms constraint constraints data model database databases logic optimization query language relational database spatial database

Editors and affiliations

  • Gabriel Kuper
    • 1
  • Leonid Libkin
    • 1
  • Jan Paredaens
    • 2
  1. 1.Bell Labs/Lucent TechnologiesMurray HillUSA
  2. 2.Department of Mathematics and Computer ScienceUniversity of Antwerp (UIA)Wilrijk-AntwerpBelgium

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-08542-0
  • Online ISBN 978-3-662-04031-7
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment