Book announcement -- CONSTRAINT DATABASES

From: Leonid Libkin <one_at_of.the.authors>
Date: 2000/05/09
Message-ID: <8f8js0$cqefk$1_at_nslocum.cs.bell-labs.com>#1/1


CONSTRAINT DATABASES
edited by Gabriel Kuper, Leonid Libkin, and Jan Paredaens Springer Verlag, 2000, 428pp. ISBN 3-540-66151-4

http://www.cs.bell-labs.com/~libkin/cdb-book

From the preface:

^^^^^^^^^^^^^^^^

  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 relational 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 contributed 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 particular, the terminology and the style of presentation have been standardized, and there are multiple cross-references between the chapters.
Table of contents:

^^^^^^^^^^^^^^^^^

Introduction (G. Kuper, L. Libkin, J. Paredaens)

Part I. Theoretical Foundations

Constraint Databases, Queries, and Query Languages (J. Van den Bussche)
Expressive Power: The Finite Case (M. Benedikt, L. Libkin) Expressive Power: The Infinite Case (S. Grumbach, G. Kuper, J. Su) Query Safety with Constraints (M. Benedikt, L. Libkin) Aggregate Languages for Constraint Databases (J. Chomicki, L. Libkin) Datalog and Constraint (P. Revesz)

Part II. Spatial and Temporal Data

Geographic Information Systems (G. Kuper, M. Scholl) Linear-Constraint Databases (M. Gyssens, L. Vandeurzen, D. Van Gucht) Topological Queries (B. Kuijpers, V. Vianu) Euclidean Query Languages (B. Kuijpers, G. Kuper, J. Paredaens) Genericity in Spatial Databases (B. Kuijpers, D. Van Gucht) Linear Repeating Points (P. Wolper)

Part III. Algorithmic Aspects

Optimization Techniques (S. Grumbach, Z. Lacroix, P. Rigaux, L. Segoufin)
Constraint Algebras (D. Goldin)
I/O-Efficient Algorithms for CDBs (S. Ramaswamy)

Part IV. Prototypes

The DEDALE Prototype (S. Grumbach, P. Rigaux, M. Scholl, L. Segoufin) The DISCO System (P. Revesz)
SQL/TP: A Temporal Extension of SQL (D. Toman) Received on Tue May 09 2000 - 00:00:00 CEST

Original text of this message