www.uhasselt.be
DSpace

Document Server@UHasselt >
Research >
Research publications >

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
Citation: DATABASE PROGRAMMING LANGUAGES. p. 182-197.
Series/Report: LECTURE NOTES IN COMPUTER SCIENCE, 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.
URI: http://hdl.handle.net/1942/723
DOI: 10.1007/3-540-46093-4_11
ISI #: 000181438100011
ISBN: 3-540-44080-1
ISSN: 0302-9743
Category: C1
Type: Proceedings Paper
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
N/A208.42 kBAdobe PDF

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.