Publication
Title
Linearization and completeness results for terminating transitive closure queries on spatial databases
Author
Abstract
We study queries to spatial databases, where spatial data are modeled as semialgebraic sets, using the relational calculus with polynomial inequalities as a basic query language. We work with the extension of the relational calculus with terminating transitive closures. The main result is that this language can express the linearization of semialgebraic databases. We also show that the sublanguage with linear inequalities only can express all computable queries on semilinear databases. As a consequence of these results, we obtain a completeness result for topological queries on semialgebraic databases.
Language
English
Source (journal)
SIAM journal on computing. - Philadelphia, Pa, 1972, currens
Publication
Philadelphia, Pa : 2006
ISSN
0097-5397
Volume/pages
35:6(2006), p. 1386-1439
ISI
000237145600006
Full text (Publishers DOI)
Full text (publishers version - intranet only)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
External links
Web of Science
Record
Identification
Creation 13.12.2013
Last edited 08.05.2017