FU Berlin, Fachbereich Mathematik und Informatik, Institut für Informatik

Vortrag des Informatik-Kolloquiums

This talk presents the Dedale linear constraint database model and query language for the representation and manipulation of multidimensional data and its application to spatial databases. Based on the work by Kanellakis, Kuper and Vardi, and on the work by Grumbach, Tollu and Su, such a model is intended to overcome many limitations of current models and systems for Geographic Information Systems (GIS). It supports declarative query languages, which allow an intuitive and efficient manipulation of spatial objects. Their formal foundation constitutes a basis for practical query optimization. Except for optimization, the model has been fully implemented at CNAM and INRIA, France, upon the 02-DBMS, thus proving the effectiveness of the constraint database approach.