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/dataset: | 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 Oct 14, 2024
Page view(s)
96
checked on Nov 7, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.