Existentially Quantified Typed as a Database Viewing Mechanism.

@inproceedings{DBLP:conf/edbt/ConnorDMB90,
  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        = {http://dx.doi.org/10.1007/BFb0022178},
  crossref  = {DBLP:conf/edbt/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[ABC76]

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)

[ABC83]

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)

[ABM88]

Malcolm P. Atkinson, Peter Buneman, Ronald Morrison: Binding and Type Checking in Database Programming Languages. Comput. J. 31(2): 99-109(1988)

[ACO85]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985)

[BCD89]

François Bancilhon, Sophie Cluet, Claude Delobel: A Query Language for the O₂ Object-Oriented Database System. DBPL 1989: 122-138

[BL84]

...

[CW85]

Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985)

[Dea89]

...

[Har85]

Robert Harper: Modules and Persistence in Standard ML. Data Types and Persistence (Appin) 1985: 21-30

[IBM78]

...

[MAt85]

...

[MBC88]

...

[MP85]

John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. ACM Trans. Program. Lang. Syst. 10(3): 470-502(1988)

[NW74]

...

[Pow85]

...

[ps87]

...

[SWK76]

Michael Stonebraker, Eugene Wong, Peter Kreps, Gerald Held: The Design and Implementation of INGRES. ACM Trans. Database Syst. 1(3): 189-222(1976)