On topological elementary equivalence of spatial databases

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

Volumn 1186, Issue , 1997, Pages 432-446

  Kuijpers, Bart ^a   Paredaens, Jan ^a   Van den Bussche, Jan ^b  

^a UNIVERSITY OF ANTWERP   (Belgium)

^b HASSELT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATABASE SYSTEMS; FORMAL LOGIC;

ELEMENTARY EQUIVALENCE; FIRST ORDER; FIRST ORDER LOGIC; POLYNOMIAL INEQUALITIES; SPATIAL DATA; SPATIAL DATABASE;

TOPOLOGY;

EID: 84948948134     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62222-5_62     Document Type: Conference Paper

References (18)

1. D. Abel and B.C. Ooi, editors. Advances in spatial databases-3rd Symposium SSD'93, volume 692 of Lecture Notes in Computer Science. Springer-Verlag, 1993.
2. D.S. Amon. Geometric reasoning with logic and algebra. Artificial Intelligence, 37:37-60, 1988.
3. M. Benedikt, G. Dong, L. Libkin, and L. Wong. Relational expressive power of constraint query languages. In Proceedings 15th ACM Symposium on Principles of Database Systems, pages 5-16. ACM Press, 1996.
4. J. Bochnak, M. Coste, and M.-F. Roy. Géométrie algébrique réelle. Springer-Verlag, 1987.
5. A. Buchmann, editor. Design and implementation of large spatial databases-First Symposium SSD '89, volume 409 of Lecture Notes in Computer Science. Springer-Verlag, 1989.
6. G.E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture Notes in Computer Science, 33:134-183, 1975.
7. M. Coste. Ensembles semi-algébriques. In Géometrie algébrique réelle et formes quadratiques, volume 959 of Lecture Notes in Mathematics, pages 109-138. Springer, 1982.
8. M.J. Egenhofer and R.D. Franzosa. Point-set topological spatial relations. Int. J. Geographical Information Systems, 5(2):161-174, 1991.
9. M.J. Egenhofer and J.R. Herring, editors. Advances in Spatial Databases, volume 951 of Lecture Notes in Computer Science. Springer, 1995.
10. J. Flum and M. Ziegler. Topological Model Theory, volume 769 of Lecture Notes in Mathematics. Springer-Verlag, 1980.
11. S. Grumbach and J. Su. First-order definability over constraint databases. In U. Montanari and F. Rossi, editors, Principles and practice of constraint programming, volume 976 of Lecture Notes in Computer Science, pages 121-136. Springer, 1995.
12. O. Gunther and H.-J. Schek, editors. Advances in spatial databases--2nd Symposium SSD'91, volume 525 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
13. C.W. Henson, C.G. Jockusch, Jr., L.A. Rubel, and G. Takeuti. First order topology, volume CXLIII of Dissertationes Mathematicae. 1977.
14. P.C. Kanellakìs, G.M. Kuper, and P.Z. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(l):26-52, August 1995.
15. E.E. Moise. Geometric topology in dimensions 2 and 3, volume 47 of Graduate Texts in Mathematics. Springer, 1977.
16. C.H. Papadimitriou, D. Sudu, and V. Vianu. Topological queries in spatial databases. In Proceedings 15th ACM Symposium on Principles of Database Systems, pages 81-92. ACM Press, 1996.
17. J. Paredæns, J. Van den Bussche, and D. Van Gucht. Towards a theory of spatial database queries. In Proceedings 13th ACM Symposium on Principles of Database Systems, pages 279-288. ACM Press, 1994.
18. A. Pillay. First order topological structures and theories. Journal of Symbolic Logic, 52(3), September 1987.