{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:51Z","timestamp":1725455451777},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540522913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022178","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:40:43Z","timestamp":1131860443000},"page":"301-315","source":"Crossref","is-referenced-by-count":7,"title":["Existentially quantified types as a database viewing mechanism"],"prefix":"10.1007","author":[{"given":"Richard","family":"Connor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Dearle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ronald","family":"Morrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fred","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"19_CR1","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/320455.320457","volume":"1","author":"M.M. Astrahan","year":"1976","unstructured":"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\u2013137.","journal-title":"ACM TODS"},{"issue":"4","key":"19_CR2","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1093\/comjnl\/26.4.360","volume":"26","author":"M.P. Atkinson","year":"1983","unstructured":"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\u2013365.","journal-title":"Computer Journal"},{"issue":"2","key":"19_CR3","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1093\/comjnl\/31.2.99","volume":"31","author":"M.P. Atkinson","year":"1988","unstructured":"Atkinson, M.P., Buneman, O.P. & Morrison, R. \"Binding and Type Checking in Database Programming Languages\" Computer Journal. 31,2 (1988), pp 99\u2013109.","journal-title":"Computer Journal"},{"issue":"2","key":"19_CR4","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1145\/3857.3859","volume":"10","author":"A. Albano","year":"1985","unstructured":"Albano, A., Cardelli, L. & Orsini, R. \"Galileo: A Strongly Typed Conceptual Language\" ACM TODS 10,2 (June 1985), pp 230\u2013260.","journal-title":"ACM TODS"},{"key":"19_CR5","unstructured":"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\u2013138"},{"key":"19_CR6","unstructured":"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)."},{"issue":"4","key":"19_CR7","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L. & Wegner, P. \"On Understanding Types, Data Abstraction and Polymorphism\" ACM Computing Surveys 17,4 (December 1985), pp 471\u2013523.","journal-title":"ACM Computing Surveys"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Dearle A. \"Environments: A Flexible Binding Mechanism to Support System Evolution\" Proc. Hawaii International Conference on System Sciences (1989), pp 46\u201355.","DOI":"10.1109\/HICSS.1989.48058"},{"key":"19_CR9","unstructured":"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\u201330."},{"key":"19_CR10","unstructured":"IMS\/VS Publications IBM, White Plains, N.Y. (1978)."},{"key":"19_CR11","series-title":"Technical Report","volume-title":"Poly Manual","author":"D.C.J. Matthews","year":"1985","unstructured":"Matthews, D.C.J. \"Poly Manual\" Technical Report 65, University of Cambridge, U.K. (1985)."},{"key":"19_CR12","unstructured":"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)."},{"issue":"3","key":"19_CR13","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"J.C. Mitchell","year":"1988","unstructured":"Mitchell J.C. & Plotkin G.D. \"Abstract Types have Existential type\" ACM TOPLAS 10,3 (July 1988), pp 470\u2013502.","journal-title":"ACM TOPLAS"},{"key":"19_CR14","unstructured":"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\u2013160."},{"key":"19_CR15","unstructured":"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\u2013160."},{"key":"19_CR16","unstructured":"\"The PS-algol Reference Manual fourth edition\", Universities of Glasgow and St.Andrews PPRR-12 (1987)."},{"issue":"3","key":"19_CR17","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1145\/320473.320476","volume":"1","author":"M. Stonebreaker","year":"1976","unstructured":"Stonebreaker M., Wong E., Kreps P, & Held G. \"The Design and Implementation of INGRES\" ACM TODS 1,3 (1976) pp 189\u2013222.","journal-title":"ACM TODS"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '90"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022178.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:47:51Z","timestamp":1607550471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540522913"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0022178","relation":{},"subject":[]}}