{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:40:55Z","timestamp":1725486055950},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414810"},{"type":"electronic","value":"9783540445432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44543-9_14","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T18:23:52Z","timestamp":1181240632000},"page":"224-238","source":"Crossref","is-referenced-by-count":2,"title":["Expressing topological connectivity of spatial databases"],"prefix":"10.1007","author":[{"given":"Floris","family":"Geerts","sequence":"first","affiliation":[]},{"given":"Bart","family":"Kuijpers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,13]]},"reference":[{"key":"14_CR1","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/273865.273870","volume":"45","author":"M. Benedikt","year":"1998","unstructured":"M. Benedikt, G. Dong, L. Libkin, and L. Wong. Relational expressive power of constraint query languages. Journal of the ACM, 45(1): 1\u201334, 1998.","journal-title":"Journal of the ACM"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"J. Bochnak, M. Coste, and M.-F. Roy. G\u00e9om\u00e9trie Alg\u00e9brique R\u00e9elle. Springer-Verlag, Berlin, 1987 (also Real Algebraic Geometry. Springer-Verlag, Berlin, 1998).","DOI":"10.1007\/978-3-662-03718-8"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"B.F. Caviness and J.R. Johnson (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition Springer-Verlag, Wien New York, 1998.","DOI":"10.1007\/978-3-7091-9459-1"},{"key":"14_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Automata Theory and Formal Languages","author":"G.E. Collins","year":"1975","unstructured":"G.E. Collins. Quantifier 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\u2013183, Berlin, 1975. Springer-Verlag."},{"issue":"2","key":"14_CR6","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1006\/jcss.1997.1524","volume":"55","author":"S. Grumbach","year":"1997","unstructured":"S. Grumbach and J. Su. Finitely representable databases. Journal of Computer and System Sciences, 55(2): 273\u2013298, 1997.","journal-title":"Journal of Computer and System Sciences"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"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\u201367, ACM Press, New York, 1997.","DOI":"10.1145\/263661.263669"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"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\u2013164, 1991.","DOI":"10.1090\/dimacs\/006\/08"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF02573999","volume":"11","author":"J. Heintz","year":"1994","unstructured":"J. Heintz, M.-F. Roy, and P. Solern\u00f2. Description of the Connected Components of a Semi-Algebraic Set in Single Exponential Time. Discrete and Computational Geometry, 11: 121\u2013140, 1994.","journal-title":"Discrete and Computational Geometry"},{"issue":"1","key":"14_CR10","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"P.C. Kanellakis","year":"1995","unstructured":"P.C. Kanellakis, G.M. Kuper, and P.Z. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(1): 26\u201352, 1995 (Originally in Proceedings of the 9th ACM Symposium on Principles of Database Systems, pages 299\u2013313, ACM Press, New York, 1990).","journal-title":"Journal of Computer and System Sciences"},{"key":"14_CR11","series-title":"Lect Notes Comput Sci","first-page":"101","volume-title":"Proceedings of \u201cLogic in Databases\u201d","author":"B. Kuijpers","year":"1994","unstructured":"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 \u201cLogic in Databases\u201d, number 1154 in Lecture Notes in Computer Science, pages 101\u2013116, Berlin, 1996. Springer-Verlag."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"B. Kuijpers, J. Paredaens, and J. Van den Bussche. Topological elementary equivalence of closed semi-algebraic sets in the real plane. The Journal of Symbolic Logic, to appear, 1999.","DOI":"10.2307\/2695063"},{"key":"14_CR13","series-title":"Lect Notes Comput Sci","first-page":"116","volume-title":"Proceedings of Workshop on Constraint Databases and their Applications","author":"B. Kuijpers","year":"1997","unstructured":"B. Kuijpers and M. Smits. On expressing topological connectivity in spatial Datalog. 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\u2013133, Berlin, 1997. Springer-Verlag."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"G. Kuper, L. Libkin, and J. Paredaens. Constraint databases. Springer-Verlag, 2000.","DOI":"10.1007\/978-3-662-04031-7"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"E.E. Moise. Geometric topology in dimensions 2 and 3, volume 47 of Graduate Texts in Mathematics. Springer, 1977.","DOI":"10.1007\/978-1-4612-9906-6"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"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\u2013288, ACM Press, New York, 1994.","DOI":"10.1145\/182591.182640"},{"key":"14_CR17","first-page":"51","volume-title":"Planning, Geometry, and Complexity of Robot Motion","author":"J.T. Schwartz","year":"1987","unstructured":"J.T. Schwartz and M. Sharir. On the piano movers\u2019 problem II. In J.T. Schwartz, M. Sharir, and J. Hopcroft, editors, Planning, Geometry, and Complexity of Robot Motion, pages 51\u201396. Ablex Publishing Corporation, Norwood, New Jersey, 1987."},{"key":"14_CR18","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, 1951."}],"container-title":["Lecture Notes in Computer Science","Research Issues in Structured and Semistructured Database Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44543-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,14]],"date-time":"2021-08-14T18:25:42Z","timestamp":1628965542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44543-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414810","9783540445432"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44543-9_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}