{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:26:27Z","timestamp":1726406787018},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540622222"},{"type":"electronic","value":"9783540496823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62222-5_62","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:37:07Z","timestamp":1330295827000},"page":"432-446","source":"Crossref","is-referenced-by-count":12,"title":["On topological elementary equivalence of spatial databases"],"prefix":"10.1007","author":[{"given":"Bart","family":"Kuijpers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Paredaens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Bussche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"D. Abel and B.C. Ooi, editors. Advances in spatial databases \u2014 3rd Symposium SSD'93, volume 692 of Lecture Notes in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56869-7"},{"key":"30_CR2","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0004-3702(88)90049-5","volume":"37","author":"D.S. Arnon","year":"1988","unstructured":"D.S. Arnon. Geometric reasoning with logic and algebra. Artificial Intelligence, 37:37\u201360, 1988.","journal-title":"Artificial Intelligence"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"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\u201316. ACM Press, 1996.","DOI":"10.1145\/237661.237667"},{"key":"30_CR4","unstructured":"J. Bochnak, M. Coste, and M.-F. Roy. G\u00e9om\u00e9trie alg\u00e9brique r\u00e9elle. Springer-Verlag, 1987."},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"A. Buchmann, editor. Design and implementation of large spatial databases \u2014 First Symposium SSD '89, volume 409 of Lecture Notes in Computer Science. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-52208-5"},{"key":"30_CR6","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume":"33","author":"G.E. Collins","year":"1975","unstructured":"G.E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Lecture Notes in Computer Science, 33:134\u2013183, 1975.","journal-title":"Lecture Notes in Computer Science"},{"key":"30_CR7","doi-asserted-by":"crossref","unstructured":"M. Coste. Ensembles semi-alg\u00e9briques. In G\u00e9ometrie alg\u00e9brique r\u00e9elle et formes quadratiques, volume 959 of Lecture Notes in Mathematics, pages 109\u2013138. Springer, 1982.","DOI":"10.1007\/BFb0062252"},{"issue":"2","key":"30_CR8","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M.J. Egenhofer","year":"1991","unstructured":"M.J. Egenhofer and R.D. Franzosa. Point-set topological spatial relations. Int. J. Geographical Information Systems, 5(2):161\u2013174, 1991.","journal-title":"Int. J. Geographical Information Systems"},{"key":"30_CR9","doi-asserted-by":"crossref","unstructured":"M.J. Egenhofer and J.R. Herring, editors. Advances in Spatial Databases, volume 951 of Lecture Notes in Computer Science. Springer, 1995.","DOI":"10.1007\/3-540-60159-7"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"J. Flum and M. Ziegler. Topological Model Theory, volume 769 of Lecture Notes in Mathematics. Springer-Verlag, 1980.","DOI":"10.1007\/BFb0097006"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"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\u2013136. Springer, 1995.","DOI":"10.1007\/3-540-60299-2_8"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"O. Gunther and H.-J. Schek, editors. Advances in spatial databases \u2014 2nd Symposium SSD '91, volume 525 of Lecture Notes in Computer Science. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54414-3"},{"key":"30_CR13","unstructured":"C.W. Henson, C.G. Jockusch, Jr., L.A. Rubel, and G. Takeuti. First order topology, volume CXLIII of Dissertationes Mathematicae. 1977."},{"issue":"1","key":"30_CR14","doi-asserted-by":"crossref","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, August 1995.","journal-title":"Journal of Computer and System Sciences"},{"key":"30_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":"30_CR16","doi-asserted-by":"crossref","unstructured":"C.H. Papadimitriou, D. Suciu, and V. Vianu. Topological queries in spatial databases. In Proceedings 15th ACM Symposium on Principles of Database Systems, pages 81\u201392. ACM Press, 1996.","DOI":"10.1145\/237661.237683"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"J. Paredaens, 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\u2013288. ACM Press, 1994.","DOI":"10.1145\/182591.182640"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"A. Pillay. First order topological structures and theories. Journal of Symbolic Logic, 52(3), September 1987.","DOI":"10.1017\/S0022481200029741"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT '97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62222-5_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:12:32Z","timestamp":1605647552000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62222-5_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540622222","9783540496823"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-62222-5_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}