Abstract
Schemas are a part of the Z notation, but not well integrated into its mathematical language. The paper shows how to make Z more unified and more flexible by removing the distinction between expression and schemaexpression. The Cartesian product can also be taken as a special case of a schema.
As examples, it is shown how to embed operation schemas into the mathematical language, and how schema calculus expresses relational database algebra.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References and Bibliography
Arthan R D. Issues for Z Concrete Syntax, ICL Secure Systems, FST Project, Ref: DS/FMU/IED/WRK036, February 1992.
Arthan R D. Proposal to allow General Use of Expressions as Schemas in Z, Z Standards Committee Document D-105, June 1992.
Barden R, Stepney S & Cooper D. Z in Practice, Prentice Hall 1994.
Brien S & Nicholls J E (editors). Z Base Standard Version 1.0, Oxford University Computer Laboratory 1992.
Codd E F. Relational Completeness of Data Base Sublanguages, in Rustin R (editor). Data Base Systems, Prentice Hall 1972.
Date C J. An Introduction to Database Systems, Volume 1, (fourth edition), Addison Wesley 1986.
Gravell A M. Minimisation in Formal Specification and Design, in Nicholls J E (editor), Proceedings of Fourth Annual Z User Meeting, Springer 1990.
Hayes I (editor). Specification Case Studies, Prentice Hall 1987.
King S, Sørensen I H & Woodcock J C P. Z: Grammar and Concrete and Abstract Syntaxes, Oxford University Computing Laboratory, Technical Monograph PRG-68, July 1988.
Potter B, Sinclair S & Till D. An Introduction to Formal Specification and Z, Prentice Hall 1991. •
Semmens L & Allen P. Using Yourdon and Z, in Nicholls J E (editor), Proceedings of Fifth Z User Meeting, Springer 1991
Spivey J M. Understanding Z, Cambridge University Press 1988.
Spivey J M. The Z Notation — A Reference Manual (first edition), Prentice Hall 1989.
Spivey J M. The Z Notation — A Reference Manual (second edition), Prentice Hall 1992.
Sufrin B & Hughes J. A Tutorial Introduction to Relational Algebra, Programming Research Group, Oxford, July 1985.
Ullman J D. Principles of Database Systems (second edition), Computer Science Press 1982.
Valentine S H. Operation Schemas in Z-, University of Brighton Department of Computing, June 1994.
Valentine S H. The Programming Language Z-, Information and Software Technology, Vol 37, No 5, May 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Valentine, S.H. (1995). Equal rights for schemas in Z. 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_120
Download citation
DOI: https://doi.org/10.1007/3-540-60271-2_120
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