Existentially Quantified Typed as a Database Viewing Mechanism.

Richard C. H. Connor, Alan Dearle, Ronald Morrison, Fred Brown: Existentially Quantified Typed as a Database Viewing Mechanism. EDBT 1990: 301-315
  author    = {Richard C. H. Connor and
               Alan Dearle and
               Ronald Morrison and
               Fred Brown},
  editor    = {Fran\c{c}ois Bancilhon and
               Costantino Thanos and
               Dennis Tsichritzis},
  title     = {Existentially Quantified Typed as a Database Viewing Mechanism},
  booktitle = {Advances in Database Technology - EDBT'90.  International Conference
               on Extending Database Technology, Venice, Italy, March 26-30,
               1990, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {416},
  year      = {1990},
  isbn      = {3-540-52291-3},
  pages     = {301-315},
  ee        = {db/conf/edbt/ConnorDMB90.html},
  crossref  = {DBLP:conf/edbt/90},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


Morton M. Astrahan, Mike W. Blasgen, Donald D. Chamberlin, Kapali P. Eswaran, Jim Gray, Patricia P. Griffiths, W. Frank King III, Raymond A. Lorie, Paul R. McJones, James W. Mehl, Gianfranco R. Putzolu, Irving L. Traiger, Bradford W. Wade, Vera Watson: System R: Relational Approach to Database Management. ACM Trans. Database Syst. 1(2): 97-137(1976) BibTeX
Malcolm P. Atkinson, Peter J. Bailey, Kenneth Chisholm, W. Paul Cockshott, Ronald Morrison: An Approach to Persistent Programming. Comput. J. 26(4): 360-365(1983) BibTeX
Malcolm P. Atkinson, Peter Buneman, Ronald Morrison: Binding and Type Checking in Database Programming Languages. Comput. J. 31(2): 99-109(1988) BibTeX
Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
François Bancilhon, Sophie Cluet, Claude Delobel: A Query Language for the O2 Object-Oriented Database System. DBPL 1989: 122-138 BibTeX
Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985) BibTeX
Robert Harper: Modules and Persistence in Standard ML. Data Types and Persistence (Appin) 1985: 21-30 BibTeX
John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. ACM Trans. Program. Lang. Syst. 10(3): 470-502(1988) BibTeX
Michael Stonebraker, Eugene Wong, Peter Kreps, Gerald Held: The Design and Implementation of INGRES. ACM Trans. Database Syst. 1(3): 189-222(1976) BibTeX

Referenced by

  1. Malcolm P. Atkinson, Ronald Morrison: Orthogonally Persistent Object Systems. VLDB J. 4(3): 319-401(1995)
  2. Atsushi Ohori, Keishi Tajima: A Polymorphic Calculus for Views and Object Sharing. PODS 1994: 255-266
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:08:37 2009