{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:21:52Z","timestamp":1778300512316,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540423010","type":"print"},{"value":"9783540477242","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-47724-1_1","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T23:51:52Z","timestamp":1185925912000},"page":"3-19","source":"Crossref","is-referenced-by-count":31,"title":["Moving Objects: Logical Relationships and Queries"],"prefix":"10.1007","author":[{"given":"Jianwen","family":"Su","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haiyan","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar H.","family":"Ibarra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"1_CR1","unstructured":"P. Agarwal, L. Arge, and J. Erickson. Indexing moving points. In Proc. ACM Symp. on Principles of Database Systems, 2000."},{"key":"1_CR2","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"issue":"5","key":"1_CR3","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1109\/69.729722","volume":"10","author":"A. Belussi","year":"1998","unstructured":"A. Belussi, E. Bertino, and B. Catania. An extended algebra for constraint databases. IEEE Trans. on Knowledge and Data Engineering, 10(5):686\u2013705, 1998.","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"issue":"2","key":"1_CR4","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0022-0000(86)90029-2","volume":"32","author":"M. Ben-Or","year":"1986","unstructured":"M. Ben-Or, D. Kozen, and J. Reif. The complexity of elementary algebra and geometry. Journal of Computer and System Sciences, 32(2):251\u2013264, April 1986.","journal-title":"Journal of Computer and System Sciences"},{"key":"1_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Proc. 2nd GI Conf. Automata Theory and Formal Languages","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."},{"issue":"2","key":"1_CR6","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M. J. Egenhofer","year":"1991","unstructured":"M. J. Egenhofer and R. Franzosa. Point-set topological spatial relations. Int. Journal of Geo. Info. Systems, 5(2):161\u2013174, 1991.","journal-title":"Int. Journal of Geo. Info. Systems"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"M. J. Egenhofer. Reasonning about binary topological relations. In Proc. Symp. on Large Spatial Databases, 1991.","DOI":"10.1007\/3-540-54414-3_36"},{"issue":"3","key":"1_CR8","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1023\/A:1009805532638","volume":"3","author":"M. Erwig","year":"1999","unstructured":"M. Erwig, R. H. Guting, M. Schneider, and M. Vazirgiannis. Spatiotemporal data types: an approach to modeling and querying moving objects in databases. GeoInformatica, 3(3):269\u2013296, 1999.","journal-title":"GeoInformatica"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 7, pages 995\u20131072. North Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"L. Forlizzi, R. H. Guting, E. Nardelli, and M. Schneider. A data model and data structures for moving objects databases. In Proc. ACM SIGMOD Int. Conf. on Management of Data, 2000.","DOI":"10.1145\/342009.335426"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"R. H. G\u00fcting, M. H. B\u00f6hlen, M. Erwig, S. Jensen, N. A. Lorentzos, M. Schneider, and M. Varirgiannis. A foundation for representing and querying moving objects. ACM Transactions on Database Systems, 25(1), 2000. to appear.","DOI":"10.1145\/352958.352963"},{"key":"1_CR12","unstructured":"A. Gray. Modern Differential Geometry of Curves and Surfaces with Mathematica (Second Edition) CRC Press, 1998."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"S. Grumbach, P. Rigaux, and L. Segoufin. The DEDALE system for complex spatial queries. In Proc. ACM SIGMOD Int. Conf. on Management of Data, June 1998.","DOI":"10.1145\/276304.276324"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"S. Grumbach and J. Su. Towards practical constraint databases. In Proc. ACM Symp. on Principles of Database Systems, 1996.","DOI":"10.1145\/237661.237672"},{"issue":"2","key":"1_CR15","doi-asserted-by":"crossref","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, October 1997.","journal-title":"Journal of Computer and System Sciences"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"B. Kuijpers and J. Van den Bussche. On capturing first-order topological properties of planar spatial databases. In Proc. Int. Conf. on Database Theory, 1999.","DOI":"10.1007\/3-540-49257-7_13"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"G. Kollios, D. Gunopulos, and V. J. Tsotras. On indexing mobile objects. In Proc. ACM Symp. on Principles of Database Systems, pages 261\u2013272, 1999.","DOI":"10.1145\/303976.304002"},{"issue":"1","key":"1_CR18","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":"1_CR19","doi-asserted-by":"crossref","unstructured":"G. Kuper, L. Libkin, and J. Paredarns, editors. Constraint Databases. Springer Verlag, 2000.","DOI":"10.1007\/978-3-662-04031-7"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"B. Kuijpers, J. Paredaens, and J. Van den Bussche. On topological elementary equivalence of spatial databases. In Proc. Int. Conf. on Database Theory, 1997.","DOI":"10.1007\/3-540-62222-5_62"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"G. Kuper, S. Ramaswamy, K. Shim, and J. Su. A constraint-based spatial extension to SQL. In Proc. ACM Symp. Geographical Information Systems, 1998.","DOI":"10.1145\/288692.288713"},{"key":"1_CR22","volume-title":"Elements of Differential Geometry","author":"R. S. Millman","year":"1977","unstructured":"R. S. Millman and G. D. Parker. Elements of Differential Geometry. Prentice-Hall, Edgewood Cliffs, NJ, 1977."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"C. H. Papadimitriou, D. Suciu, and V. Vianu. Topological queries in spatial databases. In Proc. ACM Symp. on Principles of Database Systems, 1996.","DOI":"10.1145\/237661.237683"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0747-7171(10)80003-3","volume":"13","author":"J. Renegar","year":"1992","unstructured":"J. Renegar. On the computational complexity and geometry of the first-order theory of the reals. Journal of Symbolic Computation, 13:255\u2013352, 1992.","journal-title":"Journal of Symbolic Computation"},{"key":"1_CR25","unstructured":"A. P. Sistla, O. Wolfson, S. Chamberlain, and S. Dao. Modeling and querying moving objects. In Proc. Int. Conf. on Data Engineering, 1997."},{"key":"1_CR26","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, California, 1951."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"O. Wolfson, S. Chamberlain, S. Dao, L. Jiang, and G. Mendez. Cost and imprecision in modeling the position of moving objects. In Proc. Int. Conf. on Data Engineering, Orlando, FL, 1998.","DOI":"10.1109\/ICDE.1998.655822"},{"key":"1_CR28","unstructured":"O. Wolfson, S. Chamberlain, S. Dao, and L. Jiang. Location management in moving objects databases. In Proc. the Second International Workshop on Satellite-Based Information Services (WOSBIS\u201997), Budapest, Hungary, October 1997."},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"O. Wolfson, L. Jiang, P. Sistla, S. Chamberlain, N. Rishe, and M. Deng. Databases for tracking mobile units in real time. In Proc. Int. Conf. on Database Theory, pages 169\u2013186, Jerusalem, Israel, 1999.","DOI":"10.1007\/3-540-49257-7_12"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"O. Wolfson, B. Xu, S. Chamberlain, and L. Jiang. Moving objects databases: issues and solutions. In Proc. Int. Conf. on Statistical and Scientific Database Management, 1998.","DOI":"10.1109\/SSDM.1998.688116"}],"container-title":["Lecture Notes in Computer Science","Advances in Spatial and Temporal Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47724-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,20]],"date-time":"2021-08-20T22:09:49Z","timestamp":1629497389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47724-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423010","9783540477242"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-47724-1_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}