{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:36:05Z","timestamp":1725492965433},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003236"},{"type":"electronic","value":"9783540362852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36285-1_13","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T11:21:32Z","timestamp":1192879292000},"page":"190-206","source":"Crossref","is-referenced-by-count":1,"title":["Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases"],"prefix":"10.1007","author":[{"given":"Floris","family":"Geerts","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Kuijpers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Ll. Alsed\u00e0, J. Llibre, and M. Misiurewicz. Combinatorial Dynamics and Entropy in Dimension One, volume 5 of Advances Series in Nonlinear Dynamics. World Scientific, 1993.","DOI":"10.1142\/1980"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"M. Benedikt, M. Grohe, L. Libkin, and L. Segoufin. Reachability and connectivity queries in constraint databases. In Proceedings of the 19th ACM SIGMODSIGACT-SIGART Symposium on Principles of Database Systems (PODS\u201900), pages 104\u2013115. ACM, 2000.","DOI":"10.1145\/335168.335213"},{"issue":"1\u20132","key":"13_CR3","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1016\/S0304-3975(00)00399-6","volume":"255","author":"V.D. Blondel","year":"2001","unstructured":"V.D. Blondel, O. Bournez, P. Koiran, C.H. Papadimitriou, and J.N. Tsitsiklis. Deciding stability and mortality of piecewise affine dynamical systems. Theoretical Computer Science, 255(1\u20132):687\u2013696, 2001.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"13_CR4","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1006\/jcss.2000.1737","volume":"62","author":"V.D. Blondel","year":"2001","unstructured":"V.D. Blondel, O. Bournez, P. Koiran, and J.N. Tsitsiklis. The stability of saturated linear dynamical systems is undecidable. Journal of Computer and System Sciences, 62(3):442\u2013462, 2001.","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"J. Bochnak, M. Coste, and M.-F. Roy. Real Algebraic Geometry, volume 36 of Ergebenisse der Mathematik und ihrer Grenzgebiete. Folge 3. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-662-03718-8"},{"key":"13_CR6","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 Automata Theory and Formal Languages, volume 33 of Lecture Notes in Computer Science, pages 134\u2013183. Springer-Verlag, 1975."},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1090\/pspum\/028.2\/0432534","volume":"28","author":"M. Davis","year":"1976","unstructured":"M. Davis, Y. Matijasevic, and J. Robinson. Hilbert\u2019s Tenth Problem. Diophantine equations: positive aspects of a negative solution. In Mathematical Developments Arising from Hilbert Problems, volume 28, pages 323\u2013378. American Mathematical Society, 1976.","journal-title":"Mathematical Developments Arising from Hilbert Problems"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-28788-4"},{"key":"13_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/3-540-46093-4_11","volume-title":"Linear approximation of semi-algebraic spatial databases using transitive closure logic, in arbitrary dimension","author":"F. Geerts","year":"2002","unstructured":"F. Geerts. Linear approximation of semi-algebraic spatial databases using transitive closure logic, in arbitrary dimension. In G. Ghelli and G. Grahne, editors, Proceedings of the 8th International Workshop on Database Programming Languages (DBPL\u201901), volume 2397 of Lecture Notes in Computer Science, pages 182\u2013197. Springer-Verlag, 2002."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"F. Geerts and B. Kuijpers. Linear approximation of planar spatial databases using transitive-closure logic. In Proceedings of the 19th ACM SIGMOD-SIGACTSIGART Symposium on Principles of Database Systems (PODS\u201900), pages 126\u2013135. ACM, 2000.","DOI":"10.1145\/335168.335215"},{"key":"13_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/BFb0017459","volume-title":"Tractable recursion over geometric data","author":"S. Grumbach","year":"1997","unstructured":"S. Grumbach and G. Kuper. Tractable recursion over geometric data. In G. Smolka, editor, Proceedings of Principles and Practice of Constraint Programming (CP\u201997), volume 1330 of Lecture Notes in Computer Science, pages 450\u2013462. Springer-Verlag, 1997."},{"issue":"1","key":"13_CR12","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 Science, 51(1):26\u201352, 1995. A preliminary report appeared in the Proceedings 9th ACM Symposium on Principles of Database Systems (PODS\u201990).","journal-title":"Journal of Computer and System Science"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(94)90229-1","volume":"132","author":"P. Koiran","year":"1994","unstructured":"P. Koiran, M. Cosnard, and M. Garzon. Computability with low-dimensional dynamical systems. Theoretical Computer Science, 132:113\u2013128, 1994.","journal-title":"Theoretical Computer Science"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"S. Kreutzer. Fixed-point query languages for linear constraint databases. In Proceedings of the 19th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS\u201900), pages 116\u2013125. ACM, 2000.","DOI":"10.1145\/335168.335214"},{"key":"13_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"470","DOI":"10.1007\/3-540-45653-8_32","volume-title":"Operational semantics for fixed-point logics on constraint databases","author":"S. Kreutzer","year":"2001","unstructured":"S. Kreutzer. Operational semantics for fixed-point logics on constraint databases. In R. Nieuwenhuis and A. Voronkov, editors, Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR\u201901), volume 2250 of Lecture Notes in Computer Science, pages 470\u2013484. Springer-Verlag, 2001."},{"key":"13_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/3-540-44503-X_17","volume-title":"Query languages for constraint databases: First-order logic, fixedpoints, and convex hulls","author":"S. Kreutzer","year":"2001","unstructured":"S. Kreutzer. Query languages for constraint databases: First-order logic, fixedpoints, and convex hulls. In J. Van den Bussche and V. Vianu, editors, Proceedings of 8th International Conference on Database Theory (ICDT\u201901), volume 1973 of Lecture Notes in Computer Science, pages 248\u2013262. Springer-Verlag, 2001."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"G.M. Kuper, J. Paredaens, and L. Libkin. Constraint databases. Springer-Verlag, 1999.","DOI":"10.1007\/978-3-662-04031-7"},{"key":"13_CR18","unstructured":"J. Llibre and C. Preston. Personal communication. 2002."},{"key":"13_CR19","unstructured":"Y. Matiyasevich. Hilbert\u2019s Tenth Problem. The MIT Press, 1993."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"C. Preston. Iterates of Maps on an Interval, volume 999 of Lecture Notes in Mathematics. Springer-Verlag, 1983.","DOI":"10.1007\/BFb0061749"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, 1951.","DOI":"10.1525\/9780520348097"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36285-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,25]],"date-time":"2021-08-25T20:26:36Z","timestamp":1629923196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36285-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12,16]]},"ISBN":["9783540003236","9783540362852"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-36285-1_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002,12,16]]}}}