www.uhasselt.be
DSpace

Document Server@UHasselt >
Research >
Research publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/635

Title: Region-Based Query Languages for Spatial Databases in the Topological Data Model
Authors: FORLIZZI, Luca
KUIJPERS, Bart
Nardello, Enrico
Issue Date: 2003
Publisher: Springer-Verlag
Citation: ADVANCES IN SPATIAL AND TEMPORAL DATABASES PROCEEDINGS. p. 344-361
Series/Report: LECTURE NOTES IN COMPUTER SCIENCE, 2750
Abstract: We consider spatial databases in the topological data model, i.e., databases that consist of a finite number of labeled regions in the real plane. Such databases partition the plane further into elementary regions. We propose a first-order language, which uses elementary-region variables and label variables, to query spatial databases. All queries expressible in this first-order logic are topological\/ and they can be evaluated in polynomial time. Furthermore, the proposed language is powerful enough to distinguish between any two spatial databases that are not topologically equivalent. This language does not allow the expression of all computable topological queries, however, as is illustrated by the connectivity query. We also study some more powerful extensions of this first-order language, e.g., with a while-loop. In particular, we describe an extension that is sound and computationally complete for the topological queries on spatial databases in the topological data model.
URI: http://hdl.handle.net/1942/635
Link to publication: http://dx/doi.org/10.1007/b11839
ISI #: 000185178500020
ISBN: 3-540-40535-6
Category: A1
Type: Journal Contribution
Validation: ecoom, 2004
Appears in Collections: Research publications

Files in This Item:

There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.