Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/723
Title: | Linear Approximation of Semi-algebraic Spatial Databases Using Transitive Closure Logic, in Arbitrary Dimension | Authors: | GEERTS, Floris | Issue Date: | 2001 | Publisher: | Springer | Source: | DATABASE PROGRAMMING LANGUAGES. p. 182-197. | Series/Report: | LECTURE NOTES IN COMPUTER SCIENCE | Series/Report no.: | 2397 | Abstract: | We consider n-dimensional semi-algebraic spatial databases. We compute in first-order logic extended with a transitive closure operator, a linear spatial database which characterizes the semi-algebraic spatial database up to a homeomorphism. In this way, we generalize our earlier results to semi-algebraic spatial databases in arbitrary dimensions, our earlier results being true for only two dimensions. Consequently, we can prove that first-order logic with a transitive closure operator extended with stop conditions, can express all Boolean topological queries on semi-algebraic spatial databases of arbitrary dimension. | Document URI: | http://hdl.handle.net/1942/723 | ISBN: | 3-540-44080-1 | DOI: | 10.1007/3-540-46093-4_11 | ISI #: | 000181438100011 | Category: | C1 | Type: | Proceedings Paper |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
linear.pdf | 208.42 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
3
checked on Sep 4, 2020
WEB OF SCIENCETM
Citations
3
checked on May 13, 2022
Page view(s)
46
checked on May 18, 2022
Download(s)
148
checked on May 18, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.