# The DEDALE System for Complex Spatial Queries

1 VERSO - Databases
Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR8629
3 DAHU - Verification in databases
CNRS - Centre National de la Recherche Scientifique : UMR8643, Inria Saclay - Ile de France, ENS Cachan - École normale supérieure - Cachan, LSV - Laboratoire Spécification et Vérification [Cachan]
Abstract : This paper presents DEDALE, a spatial database system intended to overcome some limitations of current systems by providing an abstract and non-specialized data model and query language for the representation and manipulation of spatial objects. \dedale/ relies on a logical model based on linear constraints, which generalizes the constraint database model of KKR90. While in the classical constraint model, spatial data is always decomposed into its convex components, in DEDALE holes are allowed to fit the need of practical applications. The logical representation of spatial data although slightly more costly in memory, has the advantage of simplifying the algorithms. DEDALE relies on nested relations, in which all sorts of data (thematic, spatial, etc.) are stored in a uniform fashion. This new data model supports declarative query languages, which allow an intuitive and efficient manipulation of spatial objects. Their formal foundation constitutes a basis for practical query optimization. We describe several evaluation rules tailored for geometric data and give the specification of an optimizer module for spatial queries. Except for the latter module, the system has been fully implemented upon the O$_2$ DBMS, thus proving the effectiveness of a constraint-based approach for the design of spatial database systems.
Document type :
Conference papers
Domain :

https://hal.archives-ouvertes.fr/hal-01124481
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 10:36:41 AM
Last modification on : Tuesday, February 26, 2019 - 4:16:02 PM

### Identifiers

• HAL Id : hal-01124481, version 1

### Citation

Stéphane Grumbach, Philippe Rigaux, Luc Segoufin. The DEDALE System for Complex Spatial Queries. ACM-SIGMOD Intl. Conf. on the Management of Data (SIGMOD'98), Jun 1998, Seattle, WA, United States. ⟨hal-01124481⟩

Record views