Abstract
Information system software productivity can be increased by improving the maintainability and modifiability of the software produced. This latter in turn can be achieved by the provision of comprehensive support for views, since view support allows application programs to continue to operate unchanged when the underlying information system is modified. But, supporting views depends upon a solution to the view update problem, and proposed solutions to date have only had limited, rather than comprehensive, applicability. This paper presents a new treatment of view updates for formally specified information systems. The formal specification technique we use is based on category theory and has been the basis of a number of successful major information system consultancies. We define view updates by a universal property in a subcategory of models of the formal specification, and explain why this indeed gives a comprehensive treatment of view updatability, including a solution to the view update problem. However, a definition of updatability which is based on models causes some inconvenience in applications, so we prove that in a variety of circumstances updatability is guaranteed independently of the current model. The paper is predominantly theoretical, as it develops the theoretical basis of a formal methods technique, but the methods described here are currently being used in a large consultancy for a government Department of Health. Because the application area, information systems, is rarely treated by formal methods, we include some detail about the formal methods used. In fact they are extensions of the usual category theoretic specification techniques, and the solution to the view update problem can be seen as requiring the existence of an initial model for a specification.
Research partially supported by the Australian Research Council, NSERC Canada, and the Oxford Computing Laboratory. The authors are grateful for that support, and also for the advice of the anonymous referees.
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
Serge Abiteboul and Oliver M. Duschka. Complexity of Answering Queries Using Materialized Views. ACM PODS-98, 254–263, 1998.
P. Atzeni and R. Torlone. Updating relational databases through weak instance interfaces. TODS, 17:718–743, 1992.
M. Barr and C. Wells. Category theory for computing science. Prentice-Hall, second edition, 1995.
K. Baklawski, D. Dimovici and W. White. A categorical approach to database semantics. Mathematical Structures in Computer Science, 4:147–183, 1994.
A. Borgida, J. Mylopoulos and R. Reiter. And Nothing Else Changes: The Frame Problem in Procedure Specifications. Proceedings of the Fifteenth International Conference on Software Engineering, IEEE Computer Society Press, 1993.
P. P.-S. Chen. The Entity-Relationship Model—Toward a Unified View of Data. TODS, 2:9–36, 1976.
C. N. G. Dampney and Michael Johnson. TIME Compliant Corporate Data Model Validation. Consultants’ report to Telecom Australia, 1991.
C. N. G. Dampney and Michael Johnson. Fibrations and the DoH Data Model. Consultants’ report to NSW Department of Health, 1999.
C. N. G. Dampney and Michael Johnson. A formal method for enterprise interoperability: A case study in a major health informatics information system. Proceedings of the Thirteenth International Conference on Software and Systems Engineering, CNAM Paris, vol 3, 12-5, 1-6, 2000.
C. N. G. Dampney, Michael Johnson and G. M. McGrath. Audit and Enhancement of the Caltex Information Strategy Planning (CISP) Project. Consultants’ report to Caltex Oil Australia, 1994.
C. N. G. D ampney, Michael Johnson, and G. P. Monro. An illustrated mathematical foundation for ERA. In The Unified Computation Laboratory, pages 77–84, Oxford University Press, 1992.
C. N. G. Dampney, Michael Johnson, and Robert Rosebrugh. View Updates in a Semantic Data Model Paradigm. Proceedings of ADC, IEEE Computer Society, in press, 2001.
C. J. Date. Introduction to Database Systems, Volume 2. Addison-Wesley, 1983.
Zinovy Diskin and Boris Cadish. Algebraic graph-based approach to management of multidatabase systems. In Proceedings of The Second International Workshop on Next Generation Information Technologies and Systems (NGITS’ 95), 1995.
Zinovy Diskin and Boris Cadish. Variable set semantics for generalised sketches: Why ER is more object oriented than OO. In Data and Knowledge Engineering, 2000.
H. Ehrig and B. Mahr. Fundamentals of algebraic specifications. Springer-Verlag, 1985.
A. Islam and W. Phoa. Categorical models of relational databases I: Fibrational formulation, schema integration. Proceedings of the TACS94. Eds M. Hagiya and J. C. Mitchell. Lecture Notes in Computer Science, 789:618–641, 1994.
D. Jackson. Structuring Z Specifications with Views. ACM Transactions on Software Engineering and Methodology, 4:365–389, 1995.
Michael Johnson and C. N. G. Dampney. On the value of commutative diagrams in information modelling. In Algebraic Methodology and Software Technology, Springer Workshops in Computing, 1994.
Michael Johnson and Robert Rosebrugh. Database interoperability through state based logical data independence. Proceedings of the Fifth International Conference on Computer Supported Cooperative Work in Design, IEEE Hong Kong, 161–166, 2000.
Michael Johnson, Robert Rosebrugh, and R. J. Wood. Entity-relationship models and sketches. Submitted to Theory and Applications of Categories, 2001.
Rom Langerak. View updates in relational databases with an independent scheme. TODS, 15:40–66, 1990.
A. Y. Levy, A. O. Mendelzon, D. Srivastava, Y. Sagiv. Answering queries using views. ACM PODS-95, 1995.
C. Lecluse and N. Spyratos. Implementing queries and updates on universal scheme interfaces. VLDB, 62–75, 1988.
E. Lippe and A ter Hofstede. A category theoretical approach to conceptual data modelling. RAIRO Theoretical Informatics and Applications, 30:31–79, 1996.
Saunders Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics 5, Springer Verlag, 1971.
F. Piessens and Eric Steegmans. Selective Attribute Elimination for Categorical Data Specifications. Proceedings of the 6th International AMAST. Ed. Michael Johnson. Lecture Notes in Computer Sciencex, 1349:424–436, 1997.
J. D. Ullman. Principles of Database and Knowledge-Base Systems. Volume 1, Computer Science Press, 1988.
J. D. Ullman. Information integration using logical views. ICDT-97, 1997.
R. F. C. Walters. Categories and Computer Science. Cambridge University Press, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Johnson, M., Rosebrugh, R. (2001). View Updatability Based on the Models of a Formal Specification. In: Oliveira, J.N., Zave, P. (eds) FME 2001: Formal Methods for Increasing Software Productivity. FME 2001. Lecture Notes in Computer Science, vol 2021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45251-6_31
Download citation
DOI: https://doi.org/10.1007/3-540-45251-6_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41791-0
Online ISBN: 978-3-540-45251-5
eBook Packages: Springer Book Archive