Overview
- Editors:
-
-
Gabriel Kuper
-
Bell Labs/Lucent Technologies, Murray Hill, USA
-
Leonid Libkin
-
Bell Labs/Lucent Technologies, Murray Hill, USA
-
Jan Paredaens
-
Department of Mathematics and Computer Science, University of Antwerp (UIA), Wilrijk-Antwerp, Belgium
- First comprehensive overview of a new field in database research
- Includes supplementary material: sn.pub/extras
Access this book
Other ways to access
Table of contents (19 chapters)
-
Front Matter
Pages I-XVII
-
Introduction
-
- Gabriel Kuper, Leonid Libkin, Jan Paredaens
Pages 1-16
-
Theoretical Foundations
-
-
-
- Michael Benedikt, Leonid Libkin
Pages 55-87
-
- Stéphane Grumbach, Gabriel Kuper, Jianwen Su
Pages 89-107
-
- Michael Benedikt, Leonid Libkin
Pages 109-129
-
- Jan Chomicki, Leonid Libkin
Pages 131-154
-
-
Spatial and Temporal Data
-
Front Matter
Pages 171-174
-
- Gabriel Kuper, Michel Scholl
Pages 175-198
-
- Marc Gyssens, Luc Vandeurzen, Dirk Van Gucht
Pages 199-229
-
- Bart Kuijpers, Victor Vianu
Pages 231-273
-
- Bart Kuijpers, Gabriel Kuper, Jan Paredaens
Pages 275-291
-
- Bart Kuijpers, Dirk Van Gucht
Pages 293-303
-
-
Algorithmic Aspects
-
Front Matter
Pages 315-317
-
- Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin
Pages 319-334
-
-
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.