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

Philippe Rigaux (1) , Michel Scholl (1) , Luc Segoufin (2) , Stéphane Grumbach (3)

1 CEDRIC - Centre d'études et de recherche en informatique et communications
2 DAHU - Verification in databases
3 VERSO - Databases

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.

Domaines: Informatique [cs]; Base de données [cs.DB]

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