Abstract
The development of database applications is usually carried out informally. In this paper, we propose an extension to the traditional database design process aimed at formalizing the development of (relational) database applications. Specifically, we present a general method which prescribes how to specify the important aspects of relational database applications using Z. It includes the definition of relations, the specification of candidate and foreign keys, and querying and updating of relations, including error handling. Some features of the relational model itself are specified as pre-defined operators which simplify the use of the method. We illustrate the method using a simple example application.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Elmasri R. and Navathe S. B.; “Fundamentals of Database Systems”, The Benjamin/ Cummings Publishing Company Inc., 1989.
Spivey J. M.; “The Z Notation: A Reference Manual”, Prentice Hall International (UK) Ltd, 1989.
Diller A.; “Z: An Introduction to Formal Methods”, Chichester (UK), John Wiley & Sons Ltd., 1990.
Potter B., Sinclair J. and Till D.; “An Introduction to Formal Specification and Z”, Prentice Hall International (UK) Ltd, 1991.
Hayes I. (ed.); “Specification Case Studies”, Prentice Hall International (UK) Ltd, 1987.
Date C. J.; “An Introduction to Database Systems”, vol. 1, Fifth Edition, Reading, Massachusetts (USA), Addison-Wesley, 1990.
Barros R. S. M. and Harper D. J.; “Formal Specification of Relational Database Applications: A Methodology”, Report, Department of Computing Science, University of Glasgow. In preparation.
Codd E. F.; “A Relational Model of Data for Large Shared Data Banks”, Communications of the ACM, Vol. 13, N. 6, pp. 377–387, June 1970.
van Diepen M. J. and van Hee K. M.; “A Formal Semantics for Z and the link between Z and the Relational Algebra”. In Bjørner D., Hoare C. A. R. and Langmaack H. (eds.); “VDM’90 — VDM and Z!”, Lecture Notes in Computing Science, vol. 428, pp. 526–551, Springer-Verlag, Berlin, 1990.
Date C. J.; “Null Values in Database Management”. In Date C. J.; “Relational Database: Selected Writings”, pp. 313–334, Reading, Massachusetts (USA), Addison-Wesley, 1986.
Codd E. F.; “The Relational Model for Database Management — Version 2”, Reading, Massachusetts (USA), Addison-Wesley, 1990.
Barros R. S. M. and Harper D. J.; “Formal Development of Relational Database Applications”. In Harper D. J. and Norrie M. C. (eds.); “Specifications of Database Systems”, Workshops in Computing Series, pp. 21–43, Springer-Verlag, 1991.
Sampaio A. C. and Meira S. L.; “Zc: A Notation for Complex Systems Specification” (In Portuguese). In XV SEMISH, SBC Brazilian Congress, Rio, 1988.
Sampaio A. C.; “Zc: A Notation for Complex Systems Specification” (In Portuguese). M.Sc. Thesis, Depto. de Informática, UFPE, Brazil, 1988.
Sampaio A. C. and Meira S. L.; “Modular Extensions to Z”. In Bjørner D., Hoare C. A. R. and Langmaack H. (eds.); “VDM’90 — VDM and Z!”, Lecture Notes in Computing Science, vol. 428, pp. 211–232, Springer-Verlag, Berlin, 1990.
Barros R. S. M.; “Formal Specification of very large Software: A Real Example” (In Portuguese), M.Sc. Thesis, Depto. de Informática, UFPE, Brazil, 1988.
Vasconcelos A.; “Specifying the Interface of a Hypertext System” (In Portuguese). M.Sc. Thesis, Depto. de Informática, UFPE, Brazil, 1989.
American National Standards Institute; “The Database Language SQL”, Document ANSI X3.135, 1986.
Date C. J. and White C. J.; “A Guide to DB2”, Third Edition, Reading, Massachusetts (USA), ddison-Wesley, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 British Computer Society
About this paper
Cite this paper
de Barros, R.S.M., Harper, D.J. (1992). A Method for the Specification of Relational Database Applications. In: Nicholls, J.E. (eds) Z User Workshop, York 1991. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3203-5_13
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3203-5_13
Publisher Name: Springer, London
Print ISBN: 978-3-540-19780-5
Online ISBN: 978-1-4471-3203-5
eBook Packages: Springer Book Archive