Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/637
Title: | Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic. | Authors: | GEERTS, Floris KUIJPERS, Bart |
Issue Date: | 2000 | Publisher: | ACM Press | Source: | Symposium on Principles of Database Systems. Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. p. 126-135. | Abstract: | We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate linear approximations of spatial databases and study in which language they can be expressed effectively. Specifically, we show that they cannot be expressed in the standard first-order query language for polynomial constraint databases but that an extension of this first-order language with transitive closure suffices to express the approximation query in an effective manner. Furthermore, we introduce an extension of transitive-closure logic and show that this logic is complete for the computable queries on linear spatial databases. This result together with our first result implies that this extension of transitive-closure logic can express all computable topological queries on arbitrary spatial databases in the plane. | Document URI: | http://hdl.handle.net/1942/637 | Link to publication/dataset: | http://doi.acm.org/10.1145/335168.335215 | ISBN: | 1-58113-214-X | Category: | C1 | Type: | Proceedings Paper |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
sdcql10.pdf | 183.49 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.