Loading...
Please wait, while we are loading the content...
Similar Documents
Linearization and completeness results for terminating transitive closure queries on spatial databases
| Content Provider | CiteSeerX |
|---|---|
| Author | Geerts, Floris Kuijpers, Bart Bussche, Jan Van Den |
| Abstract | We study queries to spatial databases, where spatial data are modelled 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 semi-algebraic databases. We also show that the sublanguage with linear inequalities only can express all computable queries on semi-linear databases. As a consequence of these results, we obtain a completeness result for topological queries on semi-algebraic databases. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Completeness Result Spatial Database Transitive Closure Query Relational Calculus Semi-algebraic Database Topological Query Spatial Data Linear Inequality Computable Query Transitive Closure Basic Query Language Semialgebraic Set Polynomial Inequality Semi-linear Database |
| Content Type | Text |