Abstract
Most computers are used in an organisational setting and most organisational information systems are database systems. A database system is one in which the simple statements far outnumber the complex ones, to the extent that a special database management system is required to enable sufficiently rapid access to the data thus stored. SQL is the standard language for database access and manipulation. Z is a formal notation which has achieved some degree of acceptance — even popularity. Yet, Z and SQL are rarely considered in conjunction, which is unfortunate because both languages have their roots in set theory and predicate calculus. This paper examines some of the issues involved in mapping from a Z specification to an SQL-based implementation.
Preview
Unable to display preview. Download preview PDF.
References
Codd E.F. (1970). “A Relational Model of Data for Large Shared Data Banks” CACM, Vol 13, No 6 (June 1970).
Duke R., King P., Rose G. and Smith G. (1991). “The Object-Z Specification Language: Version 1” Technical Report 91-1, Dept of Computer Science, University of Queensland.
Hayes I.J. (ed.) (1987). Specification Case Studies. London, England: Prentice Hall International.
Stepney S., Barden R. and Cooper D. (eds.) (1992). Object-orientation in Z. London; New York: Springer-Verlag.
Spivey J.M. (1988). Understanding Z. Cambridge, England: Cambridge University Press.
Spivey J.M. (1989). The Z Notation: A Reference Manual. Hemel Hempstead, England: Prentice Hall International.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Edmond, D. (1995). Refining database systems. In: Bowen, J.P., Hinchey, M.G. (eds) ZUM '95: The Z Formal Specification Notation. ZUM 1995. Lecture Notes in Computer Science, vol 967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60271-2_111
Download citation
DOI: https://doi.org/10.1007/3-540-60271-2_111
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60271-2
Online ISBN: 978-3-540-44782-5
eBook Packages: Springer Book Archive