Floris Geerts, Bart Kuijpers  Home/Search
Context Related
| alpha.luc.ac.be/~fgeerts...dbpl99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: alpha.luc.ac.be/~fgeerts/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We consider two-dimensional spatial databases defined in terms of polynomial inequalities and focus on the potential of programming languages for such databases to express queries related to topological connectivity. It is known that the topological connectivity test is not first-order expressible. One approach to obtain a language in which connectivity queries can be expressed would be to extend FO+Poly with a generalized (or Lindstr om) quantifier expressing that two points belong to the same ... (Update)
Context of citations to this paper: More
.... is not in FO [10, 11, 2] We showed rather ad hoc, that a cone radius query is rst order expressible for planar spatial databases [7]. The following result extends this to n dimensional semi algebraic spatial databases. Theorem 2. Let A be a semi algebraic set in R n ....
.... for topological connectivity have been handled only through query languages that are both non closed and computationally intractable [23, 12, 13]. In contrast, our rst main result shows that there is a way to add reachability and a vast number of other topological queries...
Cited by: More
Fixed-Point Query Languages for Linear Constraint Databases - Kreutzer (2000) (Correct)
Reachability and Connectivity Queries in Constraint.. - Benedikt, Grohe.. (1999) (Correct)
Linear Approximation of Semi-Algebraic Spatial Databases Using.. - Geerts (Correct)
Similar documents (at the sentence level):
50.2%: Expressing Topological Connectivity of Spatial Databases - Geerts, Kuijpers (Correct)
Active bibliography (related documents): More All
0.3: Linear Approximation of Planar Spatial Databases Using.. - Geerts, Kuijpers (2000) (Correct)
0.2: Degrees of Monotonicity of Spatial Transformations - Kuijpers (Correct)
0.2: On expressing topological connectivity in spatial Datalog - Kuijpers, Smits (1997) (Correct)
Similar documents based on text: More All
0.8: A Theory of Spatio-Temporal Database Queries - Geerts, Haesevoets, Kuijpers (Correct)
0.3: Tiling Databases - Geerts, Goethals, Mielikäinen (Correct)
0.3: On Two- Versus Three-Dimensional Connectivity Testing .. - Geerts, Smits, Van.. (Correct)
Related documents from co-citation: More All
3: Constraint Query Languages - Kanellakis, Kuper et al. - 1990
3: Constraint Databases (context) - Kuper, Libkin et al. - 2000
3: Tractable recursion over geometric data (context) - Grumbach, Kuper - 1997
BibTeX entry: (Update)
F. Geerts and B. Kuijpers. Expressing topological connectivity of spatial databases. In Research Issues in Structured and Semistructured Database Programming. Proceedings of the 8th International Workshop on Database Programming Languages, volume http://citeseer.ist.psu.edu/330212.html More
@article{ geerts00expressing,
author = "Floris Geerts and Bart Kuijpers",
title = "Expressing Topological Connectivity of Spatial Databases",
journal = "Lecture Notes in Computer Science",
volume = "1949",
pages = "224+",
year = "2000",
url = "citeseer.ist.psu.edu/330212.html" }
Citations (may not include all citations):775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
229 A Decision Method for Elementary Algebra and Geometry (context) - Tarski - 1951
87 Towards a theory of spatial database queries (context) - Paredaens, Van den Bussche et al. - 1994
83 Relational expressive power of constraint query languages - Benedikt, Dong et al. - 1998
72 Finitely representable databases - Grumbach, Su - 1997
64 Constraint databases (context) - Kuper, Libkin et al. - 2000
27 Quantier elimination for real closed elds by cylindrical alg.. (context) - Collins - 1975
24 Algorithms in Real Algebraic Geometry and Applications to Co.. (context) - Heintz, Reico et al. - 1991
18 Description of the Connected Components of a Semi-Algebraic .. (context) - Heintz, Roy et al. - 1994
17 Quantier Elimination and Cylindrical Algebraic Decomposition.. (context) - Caviness, Johnson - 1998
16 On expressing topological connectivity in spatial Datalog - Kuijpers, Smits - 1997
14 the piano movers' problem II (context) - Schwartz, Sharir - 1987
13 volume 47 of Graduate Texts in Mathematics (context) - Moise, in - 1977
11 Complete geometrical query languages (context) - Gyssens, Van den Bussche et al. - 1997
10 Termination properties of spatial Datalog programs - Kuijpers, Paredaens et al. - 1996
4 Topological elementary equivalence of closed semi-algebraic .. - Kuijpers, Paredaens et al. - 1999
Documents on the same site (http://alpha.luc.ac.be/~fgeerts/pubs.html): More
Linear Approximation of Planar Spatial Databases Using.. - Geerts, Kuijpers (2000) (Correct)
Superposition of Markov Sources and Long Range Dependence - Geerts, Blondia (Correct)
Efficient on-Line Topological Simplification of.. - Geerts, Revesz, Van.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC