Publication
Title
Linear approximation of semi-algebraic spatial databases using transitive closure logic, in arbitrary dimension
Author
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.
Language
English
Source (journal)
Lecture notes in computer science
Publication
2002
Volume/pages
2397(2002), p. 182-197
Full text (Publishers DOI)
UAntwerpen
Faculty/Department
Publication type
Subject
External links
Record
Identification
Creation 14.04.2014
Last edited 19.11.2015