This book constitutes the refereed proceedings of the ESPRIT Working Group CONTESSA Workshop on Constraint Databases and Applications, held in Friedrichshafen, Germany in September 1995.
The 10 full revised papers selected for inclusion in this volume are written by and for practitioners, researchers, and application users of core constraint database technology; they can be classified in three sections on expressiveness of the various constraint database models; implementation and optimization issues in areas like spatial databases, geographic information systems, scheduling and routing. This book is the first to focus on the extension of the important new programming paradigm of constraint processing to database design and management.
Author(s): Helmut Simonis (auth.), Gabriel Kuper, Mark Wallace (eds.)
Series: Lecture Notes in Computer Science 1034
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1996
Language: English
Pages: 192
Tags: Information Storage and Retrieval; Database Management; Programming Techniques; Programming Languages, Compilers, Interpreters; Geographical Information Systems/Cartography
Application development with the CHIP system....Pages 1-21
On the expressiveness of first-order constraint languages....Pages 22-39
Generalized relational algebra: Modeling spatial queries in constraint databases....Pages 40-67
DISCO: A constraint database system with sets....Pages 68-83
Constraint-based query optimization and processing....Pages 84-101
The application of multi-dimensional indexing methods to constraints....Pages 102-119
Towards the definition of a spatial object-oriented data model with constraints....Pages 120-131
Ambiguity for referential integrity is undecidable....Pages 132-147
Magic checking: Constraint checking for database query optimisation....Pages 148-166
FISSURE: Finder of solutions with subdefinite resources....Pages 167-185
