|
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. - Berlin, 1973, currens
| |
|
Publication
|
|
|
|
Berlin
:
2002
| |
|
ISSN
|
|
|
|
0302-9743
[print]
1611-3349
[online]
| |
|
DOI
|
|
|
|
10.1007/3-540-46093-4_11
| |
|
Volume/pages
|
|
|
|
2397
(2002)
, p. 182-197
| |
|
Full text (Publisher's DOI)
|
|
|
|
| |
|