Abstract
In database management systems, viewing mechanisms have been used to provide conceptual support for the user and security for the overall system. By controlling the style of database use, views aid the user by concentrating on the area of interest, and the system by ensuring the integrity of the data.
In recent years, there have been a number of proposals for database or persistent programming languages. Such languages must be able to provide the facilities traditionally found in both database management systems and programming languages. In this paper we demonstrate how a persistent programming language, Napier88, can provide a viewing mechanism over persistent data by using existentially quantified types. The views, which may be generated dynamically, are statically type checked. The technique shown is applicable to any language which supports existentially quantified data types and a persistent store.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
9 References
Astrahan M.M., Blasgen M.W., Chamberlin D.D., Eswaran K.P., Gray J.N., Griffiths P.P., King W.F., Lorie R.A., McJones P.R., Mehl J.W., Putzolu G.R., Traiger I.L., Waid B.W. & Watson V. "System R: A Relational Approach to Data Management" ACM TODS 1,2 (June 1976), pp 97–137.
Atkinson, M.P., Bailey, P.J., Chisholm, K.J., Cockshott, W.P. & Morrison, R. "An Approach to Persistent Programming" Computer Journal 26,4 (November 1983), pp 360–365.
Atkinson, M.P., Buneman, O.P. & Morrison, R. "Binding and Type Checking in Database Programming Languages" Computer Journal. 31,2 (1988), pp 99–109.
Albano, A., Cardelli, L. & Orsini, R. "Galileo: A Strongly Typed Conceptual Language" ACM TODS 10,2 (June 1985), pp 230–260.
Bancilhon, F., Cluet, S. & Delobel, C. "A Query Language for the O2 Object-Oriented Database System" 2nd International Workshop on Database Programming Languages, Salishan, Oregon Morgan & Kaufmann (1989), pp 122–138
Burstall, R. & Lampson, B. "A Kernal Language for Abstract Data Types and Modules" Proc. international symposium on the semantics of data types, Sophia-Antipolis, France (1984). In Lecture Notes in Computer Science. 173. Springer-Verlag (1984).
Cardelli, L. & Wegner, P. "On Understanding Types, Data Abstraction and Polymorphism" ACM Computing Surveys 17,4 (December 1985), pp 471–523.
Dearle A. "Environments: A Flexible Binding Mechanism to Support System Evolution" Proc. Hawaii International Conference on System Sciences (1989), pp 46–55.
Harper R. "Modules and Persistence in Standard ML" Proc Persistence Data Types Workshop, Appin, Scotland (1985) in Data Types and Persistence (Ed. Atkinson M.P., Buneman P. & Morrison R.) Springer-Verlag (1985), pp 21–30.
IMS/VS Publications IBM, White Plains, N.Y. (1978).
Matthews, D.C.J. "Poly Manual" Technical Report 65, University of Cambridge, U.K. (1985).
Morrison, R., Brown, A.L., Connor, R.C.H. & Dearle, A. "Napier88 Reference Manual" Persistent Programming Research Report PPRR-77-89, University of St Andrews. (1989).
Mitchell J.C. & Plotkin G.D. "Abstract Types have Existential type" ACM TOPLAS 10,3 (July 1988), pp 470–502.
Needham R.M. & Walker R.D. "Protection and Process management in the CAP computer" Proc. International Workshop on Protection in Operating Systems. IRIA Rocquencourt, (August 1974), pp 155–160.
Powell M.S. "Adding Programming Facilities to an Abstract Data Store" Proc. Persistence Data Type Workshop, Appin, Scotland. Universities of Glasgow and St Andrews PPRR-16-85 (Ed. Atkinson M.P., Buneman P. & Morrison R.) (1985) pp 139–160.
"The PS-algol Reference Manual fourth edition", Universities of Glasgow and St.Andrews PPRR-12 (1987).
Stonebreaker M., Wong E., Kreps P, & Held G. "The Design and Implementation of INGRES" ACM TODS 1,3 (1976) pp 189–222.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Connor, R., Dearle, A., Morrison, R., Brown, F. (1990). Existentially quantified types as a database viewing mechanism. In: Bancilhon, F., Thanos, C., Tsichritzis, D. (eds) Advances in Database Technology — EDBT '90. EDBT 1990. Lecture Notes in Computer Science, vol 416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022178
Download citation
DOI: https://doi.org/10.1007/BFb0022178
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52291-1
Online ISBN: 978-3-540-46948-3
eBook Packages: Springer Book Archive