Skip to main content
SpringerLink
Log in
Book cover

Symposium on Mathematical Fundamentals of Database Systems

MFDBS 1987: MFDBS 87 pp 128–158Cite as

A formal model for distributed information systems

  • Contributed Papers
  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7 References

  • K.P. Eswaran, J.N. Gray, R.A. Lorie and I.L. Traiger, The Notions of Consistency and Predicate Locks in a Relational Database System. Communications of the ACM, Vol. 19, No. 11, November 1976, pages 624–633.

    Google Scholar 

  • R.C. Hansdah and L.M. Patnaik, Update Serializability in Locking, Proceedings of ICDT '86, Rome, September 1986.

    Google Scholar 

  • G.J. Houben, J. Paredaens and K.M. van Hee, The Partition of an Information System in Several Parallel Systems. Computing Science Notes 86/04, Eindhoven University of Technology, October 1986.

    Google Scholar 

  • G.J. Houben and J. Paredaens, A Formal Approach to Distributed Information Systems, Computing Science Notes 87/03, Eindhoven University of Technology, January 1987.

    Google Scholar 

  • G. Schlageter, Process Synchronization in Database Systems, ACM TODS, Vol. 3, No. 3, September 1978, pages 248–271.

    Google Scholar 

  • H.F. Korth and A. Silberschatz, Database System Concepts, McGraw-Hill Book Company, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB, Eindhoven, Holland

    Geert-Jan Houben

  2. Department Mathematics-Computer Science, University of Antwerp UIA, Universiteitsplein 1, 2610, Antwerpen, Belgium

    Jan Paredaens

Authors
  1. Geert-Jan Houben
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Paredaens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Biskup J. Demetrovics J. Paredaens B. Thalheim

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Houben, GJ., Paredaens, J. (1988). A formal model for distributed information systems. In: Biskup, J., Demetrovics, J., Paredaens, J., Thalheim, B. (eds) MFDBS 87. MFDBS 1987. Lecture Notes in Computer Science, vol 305. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19121-6_8

Download citation

  • DOI: https://doi.org/10.1007/3-540-19121-6_8

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19121-6

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation