Preview
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.
R.C. Hansdah and L.M. Patnaik, Update Serializability in Locking, Proceedings of ICDT '86, Rome, September 1986.
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.
G.J. Houben and J. Paredaens, A Formal Approach to Distributed Information Systems, Computing Science Notes 87/03, Eindhoven University of Technology, January 1987.
G. Schlageter, Process Synchronization in Database Systems, ACM TODS, Vol. 3, No. 3, September 1978, pages 248–271.
H.F. Korth and A. Silberschatz, Database System Concepts, McGraw-Hill Book Company, 1986.
Author information
Authors and Affiliations
Editor information
Rights 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