Expressing topological connectivity of spatial databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1949, Issue , 2000, Pages 224-238

  Geerts, Floris ^a   Kuijpers, Bart ^a  

^a HASSELT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATABASE SYSTEMS; INTELLIGENT DATABASES; QUERY LANGUAGES; SOFTWARE TESTING;

COMPUTATIONAL COMPLETENESS; CONNECTED COMPONENT; FIRST-ORDER LANGUAGE; POLYNOMIAL INEQUALITIES; RELATIONAL MODEL; SPATIAL DATABASE; TOPOLOGICAL CONNECTIVITY; TOPOLOGICAL PROPERTIES;

TOPOLOGY;

EID: 84959043456     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44543-9_14     Document Type: Conference Paper

References (18)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. M. Benedikt, G. Dong, L. Libkin, and L. Wong. Relational expressive power of constraint query languages. Journal of the ACM, 45(1):1–34, 1998.
3. J. Bochnak, M. Coste, and M. -F. Roy. Géométrie Algébrique Réelle. Springer-Verlag, Berlin, 1987 (also Real Algebraic Geometry. Springer-Verlag, Berlin, 1998).
4. B. F. Caviness and J. R. Johnson (eds.) Quantier Elimination and Cylindrical Algebraic Decomposition Springer-Verlag, Wien New York, 1998.
5. G.E. Collins. Quantier elimination for real closed fields by cylindrical algebraic decomposition. In H. Brakhage, editor, Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, pages 134–183, Berlin, 1975. Springer-Verlag.
6. S. Grumbach and J. Su. Finitely representable databases. Journal of Computer and System Sciences, 55(2):273–298, 1997.
7. M. Gyssens, J. Van den Bussche, and D. Van Gucht. Complete geometrical query languages. in Proceedings of the 16th ACM Symposium on Principles of Database Systems, pages 62–67, ACM Press, New York, 1997.
8. J. Heintz, T. Reico, and M.-F. Roy. Algorithms in Real Algebraic Geometry and Applications to Computational Geometry. Discrete and Computational Geometry: Selected Papers from the DIMACS Special Year, Eds. J.E. Goodman, R. Pollack and W. Steiger, AMS and ACM, 6:137–164, 1991.
9. J. Heintz, M.-F. Roy, and P. Solernò. Description of the Connected Components of a Semi-Algebraic Set in Single Exponential Time. Discrete and Computational Geometry, 11: 121–140, 1994.
10. P. C. Kanellakis, G. M. Kuper, and P. Z. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(1):26–52, 1995 (Originally in Proceedings of the 9th ACM Symposium on Principles of Database Systems, pages 299–313, ACM Press, New York, 1990).
11. B. Kuijpers, J. Paredaens, M. Smits, and J. Van den Bussche. Termination properties of spatial Datalog programs. In D. Pedreschi and C. Zaniolo, editors, Proceedings of "Logic in Databases", number 1154 in Lecture Notes in Computer Science, pages 101–116, Berlin, 1996. Springer-Verlag.
12. B. Kuijpers, J. Paredaens, and J. Van den Bussche. Topological elementary equiv-alence of closed semi-algebraic sets in the real plane. The Journal of Symbolic Logic, to appear, 1999.
13. B. Kuijpers and M. Smits. On expressing topological connectivity in spatial Data-log. In V. Gaede, A. Brodsky, O. Gunter, D. Srivastava, V. Vianu, and M. Wallace,editors, Proceedings of Workshop on Constraint Databases and their Applications, number 1191 in Lecture Notes in Computer Science, pages 116–133, Berlin, 1997. Springer-Verlag.
14. G. Kuper, L. Libkin, and J. Paredaens. Constraint databases. Springer-Verlag, 2000.
15. E.E. Moise. Geometric topology in dimensions 2 and 3, volume 47 of Graduate Texts in Mathematics. Springer, 1977.
16. J. Paredaens, J. Van den Bussche, and D. Van Gucht. Towards a theory of spatial database queries. In Proceedings of the 13th ACM Symposium on Principles of Database Systems, pages 279–288, ACM Press, New York, 1994.
17. J.T. Schwartz and M. Sharir. On the piano movers' problem II. In J.T. Schwartz, M. Sharir, and J. Hopcroft, editors, Planning, Geometry, and Complexity of Robot Motion, pages 51–96. Ablex Publishing Corporation, Norwood, New Jersey, 1987.
18. A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, 1951.