Skip to main content
Springer Nature Link
Log in

Querying the uncertain position of moving objects

  • Chapter
  • First Online:
Temporal Databases: Research and Practice

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1399))

Abstract

In this paper we propose a data model for representing moving objects with uncertain positions in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data model. We also propose Future Temporal Logic (FTL) as the query language for the MOST model, and devise an algorithm for processing FTL queries in MOST.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Abadi, Z. Manna: Temporal logic programming. Journal of Symbolic Computation. (1989)

    Google Scholar 

  2. S. Acharya, B. Badrinath, T. Imielinski,J. Navas: A WWW-Based Location Dependent Information Service for Mobile Clients. Rutgers Univ. TR. (1995)

    Google Scholar 

  3. M. Baudinet, M. Niezette, P. Wolper: On the representation of infinite data and queries. ACM Symposium on Principles of Database Systems. (1991)

    Google Scholar 

  4. J. Chomicki, T. Imielinski: Temporal deductive databases and infinite objects. ACM Symposium on Principles of Database Systems. (1988)

    Google Scholar 

  5. G. Hjaltason, H. Samet: An indexing scheme for time dependent data in CLINSYS. unpublished manuscript.

    Google Scholar 

  6. P. Kanellakis: Constraint programming and database languages. ACM Symposium on Principles of Database Systems. (1995)

    Google Scholar 

  7. J. Paradaens, J. van den Bussche, D. Van Gucht: Towards a theory of spatial database queries. ACM Symposium on Principles of Database Systems. (1994)

    Google Scholar 

  8. R. Snodgrass, I. Ahn: The temporal databases. IEEE Computer. (1986)

    Google Scholar 

  9. H. Samet: The design and analysis of spatial data structures. Addison Wesley. (1990).

    Google Scholar 

  10. A. P. Sistla, E. M. Clarke: Complexity of Prepositional Linear Temporal Logics. Journal of the Association for Computing Machinery. 3 (1985) 32

    MathSciNet  Google Scholar 

  11. R. Snodgrass: The Temporal Query Language TQuel. ACM Trans, on Database Systems. 2 (1987) 12

    Google Scholar 

  12. R. Snodgrass, ed.: Special Issue on Temporal Databases. Data Engineering. (1988)

    Google Scholar 

  13. A. Segev, A. Shoshani: Logical Modeling of Temporal Data. Proc. of the ACMSigmod International Conf. on Management of Data. (1987)

    Google Scholar 

  14. B. Schilit, M. Theimer, B. Welch: Customizing mobile applications. USENIX Symposium on Location Independent Computing. (1993)

    Google Scholar 

  15. P. Sistla, O. Wolfson: Temporal Triggers in Active Databases. IEEE Transactions on Knowledge and Data Engineering (TKDE). 3 (1995) 7

    Google Scholar 

  16. G. Voelker, B. Bershad: Mobisaic: An information system for a Mobile Wireless Computing Environment. Workshop on Mobile Computing Systems and Applications. (1994)

    Google Scholar 

  17. A. P. Sistla, O. Wolfson, S. Chamberlain, S. Dao: Modeling and Querying Moving Objects. Thirteenth International Conference on Data Engineering. (1997)

    Google Scholar 

  18. C. Dyreson, R. Snodgrass: Valid-time Indeterminacy. International Conf. on Data Eng. (1993)

    Google Scholar 

  19. S. Gadia, S. Nair, Y-C. Poon: Incomplete Information in Relational Temporal Databases. Eighteenth VLDB. (1992)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering and Computer Science, University of Illinois, 60607, Chicago, IL, USA

    A. Prasad Sistla

  2. Department of Electrical Engineering and Computer Science, University of Illinois, 60607, Chicago, IL

    Ouri Wolfson

  3. NASA Goddard Space Flight Center, Code 930.5, CESDIS, 20771, Greenbelt, MD, USA

    Ouri Wolfson

  4. Army Research Laboratory, Aberdeen Proving Ground, MD, USA

    Sam Chamberlain

  5. Information Sciences Laboratory, Hughes Research Laboratories, Malibu, CA, USA

    Son Dao

Authors
  1. A. Prasad Sistla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ouri Wolfson
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sam Chamberlain
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Son Dao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Opher Etzion Sushil Jajodia Suryanarayana Sripada

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Prasad Sistla, A., Wolfson, O., Chamberlain, S., Dao, S. (1998). Querying the uncertain position of moving objects. In: Etzion, O., Jajodia, S., Sripada, S. (eds) Temporal Databases: Research and Practice. Lecture Notes in Computer Science, vol 1399. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053708

Download citation

  • DOI: https://doi.org/10.1007/BFb0053708

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64519-1

  • Online ISBN: 978-3-540-69799-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy