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 Jul 16, 2024
Page view(s)
78
checked on Nov 7, 2023
Download(s)
218
checked on Nov 7, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.