Building a Constraint-Based Spatial Database System: Model, Languages, and Implementation

Philippe Rigaux 1 Michel Scholl 1 Luc Segoufin 2 Stéphane Grumbach 3
2 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
3 VERSO - Databases
Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR8629
Abstract : This paper presents DEDALE, a spatial database system which provides an abstract and non-specialized data model and query language for representating and manipulating geometric data in arbitrary dimension. DEDALE relies on a logical model based on linear constraints. The main features of the constraint model are (1) a uniform representation of all sorts of data, including geometric, spatio-temporal or elevation data, (2) an algebraic query language whose formal foundations constitute a basis for practical query optimization. We show the practical relevance of the approach by describing an implementation which builds on standard technology for data storage, database indexing and on the parsing and optimization of SQL. DEDALE validates the linear constraint model over various applications, proposes a user query language based on SQL which allows to query the database in a purely declarative way, and gives some first steps towards query optimization. We believe that this experience is a fruitful step toward sound and consistent database models which hide the complexity of arbitrary geometric data, while keeping manipulation languages intuitive and efficient.
Document type :
Journal articles
Complete list of metadatas
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 10:45:31 AM
Last modification on : Tuesday, February 26, 2019 - 4:16:02 PM


  • HAL Id : hal-01124721, version 1



Philippe Rigaux, Michel Scholl, Luc Segoufin, Stéphane Grumbach. Building a Constraint-Based Spatial Database System: Model, Languages, and Implementation. INTELLIGENT INFORMATION SYSTEMS, 2003, 28, pp.563-595. ⟨hal-01124721⟩



Record views