Document Server@UHasselt >
Research publications >
Please use this identifier to cite or link to this item:
|Title: ||Linear Approximation of Semi-algebraic Spatial Databases Using Transitive Closure Logic, in Arbitrary Dimension|
|Authors: ||GEERTS, Floris|
|Issue Date: ||2001|
|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.|
|ISI #: ||000181438100011|
|Type: ||Proceedings Paper|
|Appears in Collections: ||Research publications|
Files in This Item:
|N/A||208.42 kB||Adobe PDF|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.