Skip to Main content Skip to Navigation
Journal articles

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], Inria Saclay - Ile de France
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 : Thursday, July 2, 2020 - 5:26:03 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. Information Systems, Elsevier, 2003, 28, pp.563-595. ⟨hal-01124721⟩



Record views