Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Spatio-Temporal Database Management

STDBM 1999: Spatio-Temporal Database Management pp 19–39Cite as

Lifestyles — An Algebraic Approach to Change in Identity

  • Conference paper
  • First Online:

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

Abstract

This paper proposes a unified formal environment for spatiotemporal databases and modeling the change in identity of objects. The real world is represented as a set of snapshots consisting of identifiable objects and relations among objects. A database needs transaction time for the consistent management of temporal links among identifiers. Four basic operations affecting object identity are proposed: create, destroy, suspend, and resume. Their compositions are either applicable on a single object (evolve), or on a group of objects (constructive and weak fusion, fission, aggregate and segregate). These operations build a finite set of identity affecting operations — lifestyles. Executable algebraic specifications, written in the functional programming language Haskell, are provided both for the database model and for lifestyles. The specifications of typical lifestyles can be re-used for various application domains.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Khaled Al-Taha and Roberto Barrera. Identities through Time. In Ehlers, editor, International Workshop on Requirements for Integrated Geographic Information Systems, pages 1–12, New Orleans, Louisiana, 1994. 21

    Google Scholar 

  2. John Backus. Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs. 21:613–641, 1978. 24

    MATH  MathSciNet  Google Scholar 

  3. Richard Bird. Introduction to Functional Programming Using Haskell. Prentice Hall Series in Computer Science. Prentice Hall Europe, Hemel Hempstead, UK, second edition, 1998. 24

    Google Scholar 

  4. Richard Bird and Oege de Moore. Algebra of Programming. Prentice Hall, London, 1997. 24, 36

    MATH  Google Scholar 

  5. Mario Augusto Bunge. Treatise on Basic Philosophy: Vol. 3: Ontology I: The Furniture of the World, volume 3. Reidel, Boston, 1977. 22

    Google Scholar 

  6. Peter Pin-Shan Chen. The Entity-Relationship Model-Toward a Unified View of Data. ACM Transactions on Database Systems, 1(1):9–36, 1976. 23

    Article  Google Scholar 

  7. Christophe Claramunt and Marius Thèriault. Toward Semantics for Modelling Spatio-Temporal Processes within GIS. In Menno-Jan Kraak and Martien Molenaar, editors, 7th International Symposium on Spatial Data Handling, volume 2, pages 2-27–2-43, Delft,The Netherlands, 1996. International Geographical Union. 22

    Google Scholar 

  8. James Clifford and Albert Croker. Objects in Time. Database Engineering, 7(4):189–196, 1988. 26, 28

    Google Scholar 

  9. Andrew U. Frank and Werner Kuhn. Specifying Open GIS with Functional Languages. In Max J. Egenhofer and John R. Herring, editors, Advances in Spatial Databases (4th Int. Symposium on Large Spatial Databases, SSD’95, in Portland, USA), volume 951 of Lecture Notes in Computer Science, pages 184–195. Springer-Verlag, 1995. 24

    Google Scholar 

  10. Kathleen Hornsby and Max J. Egenhofer. Qualitative Representation of Change. In S. C. Hirtle and A. U. Frank, editors, Spatial Information Theory-A Theoretical Basis for GIS (International Conference COSIT’97), volume 1329 of Lecture Notes in Computer Science Vol.1329, pages 15–33. Springer-Verlag, Berlin-Heidelberg, 1997. 22, 26, 28

    Google Scholar 

  11. Kathleen Hornsby and Max J. Egenhofer. Identity-Based Change Operations for Composite Objects. In Thomas K. Poiker and Nicholas Chrisman, editors, 8th Internal Symposium on Spatial Data Handling, pages 202–213, Vancouver, 1998. International Geographical Union. 22, 34

    Google Scholar 

  12. Setrag Khoshafian and Razmik Abnous. Object Orientation-Concepts, Languages, Databases, User Interfaces. John Wiley and Sons, New York, NY, 1990. 33

    MATH  Google Scholar 

  13. Gail Langran. A review of temporal database research and its use in GIS applications. IJGIS, 3(3):215–232, 1989. 20

    Google Scholar 

  14. Barbara Liskov and John Guttag. Abstraction and Specification in Program Development. The MIT Electrical Engineering and Computer Science Series. MIT Press, Cambridge, MA, 1986. 23

    MATH  Google Scholar 

  15. Jacques Loeckx, Hans-Dieter Ehrich, and Markus Wolf. Specification of Abstract Data Types. Wiley, Teubner, 1996. 26

    Google Scholar 

  16. John McCarthy. Situations, actions and causal laws. Artificial Intelligence Project AI-Memo 1, Stanford University, 1957. 20

    Google Scholar 

  17. John McCarthy and Patrick J. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463–502. Edinburgh University Press, Edinburgh, 1969. 20

    Google Scholar 

  18. John Peterson, Kevin Hammond, Lennart Augustsson, Brian Boutel, Warren Burton, Joseph Fasel, Andrew D. Gordon, John Hughes, Paul Hudak, Thomas Johnsson, Mark Jones, Erik Meijer, Simon Peyton Jones, Alastair Reid, and Philip Wadler. The Haskell 1.4R eport. 1997. 24

    Google Scholar 

  19. Raymond Reiter. On Specifying Database Updates. The Journal of Logic Programming, 19(20), 1994. 20

    Google Scholar 

  20. Richard T. Snodgrass. Temporal Databases. In A. U. Frank, I. Campari, and U. Formentini, editors, Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, volume 639 of Lecture Notes in Computer Science, pages 22–64. Springer-Verlag, Heidelberg-Berlin, 1992. 20

    Google Scholar 

  21. Richard T. Snodgrass. Temporal Object-Oriented Databases: A Critical Comparison. In Won Kim, editor, Modern Database Systems-The Object Model, Interoperability, and Beyond, pages 386–408. Addison-Wesley, New York, 1995. 20

    Google Scholar 

  22. Simon Thompson. Haskell-The Craft of Functional Programming. International Computer Science Series. Addison-Wesley, Harlow, UK, second edition, 1999. 24

    Google Scholar 

  23. R. F. C. Walters. Categories and computer science, volume 1 of Cambridge Computer Science Texts. Carslaw Publications, Cambridge, UK, 1991. 24

    MATH  Google Scholar 

  24. Michael F. Worboys. GIS: A Computing Perspective. Taylor and Francis, London, 1995. 23

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Geoinformation, Technical University Vienna, Gusshausstrasse 27-29, A-1040, Vienna, Austria

    Damir Medak

Authors
  1. Damir Medak
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Aalborg University, Department of Computer Science, Fredrik Bajers Vej 7E, DK-9220, Aalborg Ost, Denmark

    Michael H. Böhlen  & Christian S. Jensen  & 

  2. CNAMand, INRIA, F-78153 Le Chesnay Cedex, France

    Michel O. Scholl

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Medak, D. (1999). Lifestyles — An Algebraic Approach to Change in Identity. In: Böhlen, M.H., Jensen, C.S., Scholl, M.O. (eds) Spatio-Temporal Database Management. STDBM 1999. Lecture Notes in Computer Science, vol 1678. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48344-6_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-48344-6_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66401-7

  • Online ISBN: 978-3-540-48344-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation