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 SizeFormat 
linear.pdf208.42 kBAdobe PDFView/Open
Show full item record

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.