Moving objects: Logical relationships and queries

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2121, Issue , 2001, Pages 3-19

  Su, Jianwen ^a   Xu, Haiyan ^a   Ibarra, Oscar H ^a  

^a Santa Barbara   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GEOMETRY; OBJECT-ORIENTED DATABASES; QUERY LANGUAGES;

ABSTRACT MODELING; CONTINUOUS FUNCTIONS; DIFFERENTIAL GEOMETRY; LINEAR CONSTRAINTS; LOGICAL PROPERTIES; LOGICAL RELATIONSHIPS; MOVING OBJECT DATABASE; MULTI-DIMENSIONAL SPACE;

QUERY PROCESSING;

EID: 84944055054     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47724-1_1     Document Type: Conference Paper

References (30)

1. P. K. Agarwal, L. Arge, and J. Erickson. Indexing moving points. In Proc. ACM Symp. on Principles of Database Systems, 2000.
2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995.
3. A. Belussi, E. Bertino, and B. Catania. An extended algebra for constraint databases. IEEE Trans. On Knowledge and Data Engineering, 10(5):686–705, 1998.
4. M. Ben-Or, D. Kozen, and J. Reif. The complexity of elementary algebra and geometry. Journal of Computer and System Sciences, 32(2):251–264, April 1986.
5. 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–83. Springer-Verlag, 1975.
6. M. J. Egenhofer and R. Franzosa. Point-set topological spatial relations.Int. Journal of Geo. Info. Systems, 5(2):161–174, 1991.
7. M. J. Egenhofer. Reasonning about binary topological relations. In Proc Symp. on Large Spatial Databases, 1991.
8. 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–296, 1999.
9. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 7, pages 995–1072. North Holland, 1990.
10. 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.
11. R. H. Güting, M. H. Böhlen, M. Erwig, C. 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.
12. A. Gray. Modern Differential Geometry of Curves and Surfaces with Mathematica (Second Edition). CRC Press, 1998.
13. 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.
14. S. Grumbach and J. Su. Towards practical constraint databases. In Proc. ACM Symp. on Principles of Database Systems, 1996.
15. S. Grumbach and J. Su. Finitely representable databases. Journal of Computer and System Sciences, 55(2):273–298, October 1997.
16. 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.
17. G. Kollios, D. Gunopulos, and V. J. Tsotras. On indexing mobile objects. In Proc. ACM Symp. on Principles of Database Systems, pages 261–272, 1999.
18. P. Kanellakis, G. Kuper, and P. Revesz. Constraint query languages. Journal of Computer and System Sciences, 51(1):26–52, 1995.
19. G. Kuper, L. Libkin, and J. Paredarns, editors. Constraint Databases. Springer Verlag, 2000.
20. B. Kuijpers, J. Paredaens, and J. Van den Bussche. On topological elementary equivalence of spatial databases. In Proc. Int. Conf. on Database Theory, 1997.
21. G. Kuper, S. Ramaswamy, K. Shim, and J. Su. A constraint-based spatial extension to SQL. In Proc. ACM Symp. Geographical Information Systems, 1998.
22. R. S. Millman and G. D. Parker. Elements of Differential Geometry Prentice-Hall, Edgewood Cliffs, NJ, 1977.
23. C. H. Papadimitriou, D. Suciu, and V. Vianu. Topological queries in spatial databases. In Proc. ACM Symp. on Principles of Database Systems,1996.
24. J. Renegar. On the computational complexity and geometry of the firstorder theory of the reals. Journal of Symbolic Computation, 13:255–352,1992.
25. A. P. Sistla, O. Wolfson, S. Chamberlain, and S. Dao. Modeling and querying moving objects. In Proc. Int Conf. on Data Engineering, 1997.
26. A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, California, 1951.
27. 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.
28. 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’97), Budapest, Hungary, October 1997.
29. 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–186, Jerusalem, Israel, 1999.
30. 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.