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
Source: ADVANCES IN SPATIAL AND TEMPORAL DATABASES PROCEEDINGS. p. 344-361
Series/Report: LECTURE NOTES IN COMPUTER SCIENCE
Series/Report no.: 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.
Document URI: http://hdl.handle.net/1942/635
Link to publication: http://dx/doi.org/10.1007/b11839
ISBN: 3-540-40535-6
ISI #: 000185178500020
Category: A1
Type: Journal Contribution
Validations: ecoom 2004
Appears in Collections:Research publications

Show full item record

WEB OF SCIENCETM
Citations

3
checked on May 14, 2022

Page view(s)

74
checked on May 20, 2022

Google ScholarTM

Check

Altmetric


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