{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:40:50Z","timestamp":1725486050134},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_15","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T14:23:52Z","timestamp":1181226232000},"page":"239-251","source":"Crossref","is-referenced-by-count":1,"title":["A Representation Independent Language for Planar Spatial Databases with Euclidean Distance"],"prefix":"10.1007","author":[{"given":"Gabriel M.","family":"Kuper","sequence":"first","affiliation":[]},{"given":"Jianwen","family":"Su","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,13]]},"reference":[{"issue":"4","key":"15_CR1","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/BF01354881","volume":"4","author":"S. Abiteboul","year":"1995","unstructured":"S. Abiteboul and C. Beeri. The power of languages for the manipulation of complex values. VLDB Journal, 4(4):727\u2013794, October 1995.","journal-title":"VLDB Journal"},{"key":"15_CR2","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"key":"15_CR3","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\u201334, 1998.","journal-title":"Journal of the ACM"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"M. Benedikt and L. Libkin. Safe constraint queries. Proc. ACM Symp. on PODS, 1998","DOI":"10.1145\/275487.275499"},{"key":"15_CR5","series-title":"Lect Notes Comput Sci","first-page":"115","volume-title":"Intl. Conf. on Advances in Spatial Databases (SSD\u201997)","author":"A. Belussi","year":"1997","unstructured":"A. Belussi, E. Bertino, and B. Catania. Manipulating spatial data in constraint databases. In M. J. Egenhofer and J. R. Herring, editors, Intl. Conf. on Advances in Spatial Databases (SSD\u201997), pages 115\u2013141. Springer Verlag, LNCS 1262, 1997."},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Quantifier elimination for real closed fields by cylindric decompositions","author":"G. E. Collins","year":"1975","unstructured":"G. E. Collins. Quantifier elimination for real closed fields by cylindric decompositions. In Proc. 2nd GI Conf. Automata Theory and Formal Languages, volume 35 of Lecture Notes in Computer Science, pages 134\u201383. Springer-Verlag, 1975."},{"key":"15_CR7","unstructured":"A. D\u00fcrer. Underweysung der Messung. N\u00fcrnberg, 1525"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"S. Grumbach and G. Kuper. Tractable recursion over geometric data. In International Conference on Constraint Programming, 1997.","DOI":"10.1007\/BFb0017459"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"S. Grumbach, P. Rigaux, and L. Segoufin. The DEDALE system for complex spatial queries. In Proc. ACM SIGMOD, 1998.","DOI":"10.1145\/276304.276324"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"S. Grumbach and J. Su. Dense order constraint databases. In Proc. ACM PODS, 1995.","DOI":"10.1145\/212433.212453"},{"issue":"2","key":"15_CR11","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":"15_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Journal of Computer and System Sciences","author":"B. Kuijpers","year":"1998","unstructured":"B. Kuijpers, G. Kuper, J. Paredaens and L. Vandeurzen. First Order Languages Expressing Constructible Spatial Database Queries Journal of Computer and System Sciences, to appear. Preliminary version appeared as J. Paredaens, B. Kuijpers, G. Kuper and L. Vandeurzen. Euclid, Tarski, and Engeler Encompassed. Proceedings of DBPL\u201997, LNCS 1369."},{"issue":"1","key":"15_CR13","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1006\/jcss.1995.1051","volume":"51","author":"P. Kanellakis","year":"1995","unstructured":"P. Kanellakis, G. Kuper, and P. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(1):26\u201352, 1995.","journal-title":"Journal of Computer and System Sciences"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"G. Kuper, S. Ramaswamy, K. Shim, and J. Su. A constraint-based spatial extension to SQL. In Proc. of ACM Symp. on GIS, 1998.","DOI":"10.1145\/288692.288713"},{"key":"15_CR15","unstructured":"G. Kuper and J. Su Representation Independence and Effective Syntax of Euclidean based Constraint Query Languages. Bell Labs Technical Report 981116-13, 1998."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"E. H. Lockwood. A Book of Curves. Cambridge University Press, 1961.","DOI":"10.1017\/CBO9780511569340"},{"issue":"6","key":"15_CR17","doi-asserted-by":"publisher","first-page":"1747","DOI":"10.1137\/S009753979629766","volume":"27","author":"J. Paredaens","year":"1998","unstructured":"J. Paredaens, J. Van den Bussche, and D. Van Gucht. First-order queries on finite structures over the reals. SIAM Journal on Computing, 27(6):1747\u20131763, 1998.","journal-title":"SIAM Journal on Computing"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"L. Segoufin and V. Vianu Querying Spatial Databases via Topological Invariants Proc. ACM Symp. on PODS, 89\u201398, 1998.","DOI":"10.1145\/275487.275498"},{"key":"15_CR19","first-page":"569","volume":"70","author":"B. A. Trakhtenbrot","year":"1950","unstructured":"B. A. Trakhtenbrot. The impossibility of an algorithm for the decision problem for finite models. Doklady Akademii Nauk SSR, 70:569\u2013572, 1950.","journal-title":"Doklady Akademii Nauk SSR"},{"issue":"1","key":"15_CR20","doi-asserted-by":"publisher","first-page":"39","DOI":"10.2307\/2964336","volume":"25","author":"R. L. Vaught","year":"1960","unstructured":"R. L. Vaught. Sentences true in all constructive models. Journal of Symbolic Logic, 25(1):39\u201353, March 1960.","journal-title":"Journal of Symbolic Logic"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"L. Vandeurzen, M. Gyssens, and D. Van Gucht. An expressive language for linear spatial database queries. Proc. ACM Symp. on PODS, 109\u2013118, 1998.","DOI":"10.1145\/275487.275500"}],"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_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T16:26:13Z","timestamp":1556468773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44543-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540414810","9783540445432"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44543-9_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}