An analytic solution to the alibi query in the space-time prisms model for moving object data

International Journal of Geographical Information Science

Volumn 25, Issue 2, 2011, Pages 293-322

  Kuijpers, Bart ^a   Grimson, Rafael ^a   Othmans, Walied ^a  

^a HASSELT UNIVERSITY   (Belgium)

Author keywords

Alibi query; Constraint databases; Moving objects; Space time prism; Spatiotemporal; Uncertainty

Indexed keywords

DATA PROCESSING; DATABASE; GEOMETRY; GIS; NUMERICAL MODEL; PARAMETERIZATION; SOFTWARE; SPATIOTEMPORAL ANALYSIS; UNCERTAINTY ANALYSIS;

EID: 79952727759     PISSN: 13658816     EISSN: 13623087     Source Type: Journal    
DOI: 10.1080/13658810902967397     Document Type: Article

References (24)

1. Basu, S., Pollack, R., and Roy, M.-F., 1996. On the combinatorial and algebraic complexity of quantifier elimination. Journal of the ACM, 43, 1002-1045.
2. Collins, G., 1975. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Automata theory and formal languages. Second GI Conference on Automata Theory and Formal Languages, University of Kaiserslautern, May 1975. Lecture notes in Computer Science, vol. 33. Springer-Verlag, 134-183.
3. Egenhofer, M., 2003. Approximation of geopatial lifelines. In SpadaGIS, workshop on spatial data and geographic information systsems. SpaDaGIS-Workshop on Spatial Data and Geographic Information Systems, Milano, Italy, March 2003. University of Genova, 4p.
4. Geerts, F., 2004. Moving objects and their equations of motion. In Constraint databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, (CDB004), Paris, June 12-13 2004. Lecture notes in Computer Science, vol. 3074. Springer, 41-52.
5. Grigor'ev, D. and Vorobjov, N.N., J., 1988. Solving systems of polynomial inequalities in subexponential time. Journal of Symbolic Computation, 5, 37-64.
6. Guting, R. and Schneider, M., 2005. Moving object databases. San Fransisco, CA: Morgan Kaufmann.
7. Hägerstrand, T., 1970. What about people in regional science? Papers of the Regional Science Association, 24, 7-21.
8. 004), Paris, June 12-13 2004. Lecture notes in Computer Science, vol. 3074. Springer-Verlag, 1-24.
9. Heintz, J., Roy, M.-F., and Solernó, P., 1990. Sur la complexité dú du principe de Tarski-Seidenberg. Bulletin de la Société Mathématique de France, 118, 101-126.
10. Hong, H., 1990. QEPCAD - quantifier elimination by partial cylindrical algebraic decomposition. Available from: http://www.cs.usna.edu/qepcad/B/QEPCAD.html. [Accessed 2007]
11. Hornsby, K. and Egenhofer, M., 2002. Modeling moving objects over multiple granularities. Annals of Mathematics and Artificial Intelligence, 36, 1-2, 177-194.
12. Kanellakis, P., Kuper, G., and Revesz, P., 1995. Constraint query languages. Journal of Computer and System Science, 51 (1), 26-52; A preliminary report appeared in the Proceedings of the 9th ACM symposium on principles of database systems (PODS'90), April 2-4, 1990, Nashville, Tennessee.
13. Kuijpers, B. and Othman, W., 2007. Trajectory databases: data models, uncertainty and complete query languages. In Proceedings of the 11th international conference on database theory (ICDT'07), Barcelona, Spain, January 10-12, 2007. Lecture notes in Computer Science, vol. 4353. Springer-Verlag, 224-238.
14. Miller, H., 2005. A measurement theory for time geography. Geographical Analysis, 37 (1), 17-45.
15. Paredaens, J., Kuper, G., and Libkin, L., 2000. Constraint databases. Heidelberg: Springer-Verlag.
16. Paredaens, J., Van den Bussche, J., and Van Gucht, D., 1994. Towards a theory of spatial database queries. In Proceedings of the 13th ACM symposium on principles of database systems (PODS'94). New York: ACM Press, 279-288.
17. Pfoser, D. and Jensen, C.S., 1999. Capturing the uncertainty of moving-object representations. In Advances in spatial databases (SSD'99), Hong Kong, China, July 20-23, 1999. Lecture notes in Computer Science, vol. 1651, 111-132.
18. Renegar, J., 1992. On the computational complexity and geometry of the first-order theory of the reals I, II, III. Jornal of Symbolic Computation, 13, 255-352.
19. Revesz, P., 2002. Introduction to Constraint Databases. New York: Springer-Verlag.
20. Sturm, T., 2000. Redlog. Available from: http://www.algebra.fim.uni-passau.de/redlog/.
21. Su, J., Xu, H., and Ibarra, O., 2001. Moving objects: logical relationships and queries. In Advances in spatial and temporal databases (SSTD'01), Redondo Beach, CA, USA, July 12-15, 2001. Lecture notes in Computer Science, vol. 2121. Springer, 3-19.
22. Tarski, A., 1951. A decision method for elementary algebra and geometry. Berkley, CA: University of California Press.
23. Wolfram, S., 2007. Mathematica 6. http://www.wolfram.com [Accessed 2007].
24. Wolfson, O., 2002. Moving objects information management: the database challenge. In Proceedings of the 5th international Workshop on Next Generation Information Technologies and Systems, NGITS 2002, Caesarea, Israel, June 24-25, 2002. Springer, 75-89.