The objective of this informal workshop was to bring
together researchers to share and explore their views on constraint database
technology and its applications. The main focus of the workshop was to
communicate and discuss recent results of research into Constraint Databases
and to identify future research directions.
TALKS GIVEN AT THE WORKSHOP
Geometric Query Languages and their Properties
Dirk Van Gucht (Indiana U)
Expressive Power of Constraint Query Languages
Michael Benedikt (Bell Labs)
Topological Queries in Spatial Databases
Victor Vianu (UCSD)
Euclid, Tarski and Engeler encompassed
Jan Paredaens (U Antwerp)
Convex Hull Algorithms through Theorem Proving
Jean-Louis Lassez (New Mexico Tech)
On the Optimization of Constraint Database Queries
Stephane Grumbach (IASI and INRIA)
On the Implementation of a Constraint Database System: The Choices of
DEDALE
Luc Segoufin (INRIA)
The CCUBE Constraint Object-Oriented Database System
