Subtyping and Assignment in Database Programming Languages.

@inproceedings{DBLP:conf/dbpl/ConnorMM91,
  author    = {Richard C. H. Connor and
               David J. McNally and
               Ronald Morrison},
  editor    = {Paris C. Kanellakis and
               Joachim W. Schmidt},
  title     = {Subtyping and Assignment in Database Programming Languages},
  booktitle = {Database Programming Languages: Bulk Types and Persistent Data.
               3rd International Workshop, August 27-30, 1991, Nafplion, Greece,
               Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-242-9},
  pages     = {363-382},
  ee        = {db/conf/dbpl/ConnorMM91.html},
  crossref  = {DBLP:conf/dbpl/91},
  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-5 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

[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) BibTeX

[ABM88]

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

[ACO85]

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

[ADG89]

Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris D. Marlin, Ronald Morrison, Renzo Orsini, David W. Stemple: A Framework for Comparing Type Systems for Database Programming Languages. DBPL 1989: 170-178 BibTeX

[Alb83]

...

[AM85a]

Malcolm P. Atkinson, Ronald Morrison: Types, Bindings and Parameters in a Persistent Environment. Data Types and Persistence (Appin) 1985: 3-20 BibTeX

[AM85b]

Malcolm P. Atkinson, Ronald Morrison: Procedures as Persistent Data Objects. ACM Trans. Program. Lang. Syst. 7(4): 539-559(1985) BibTeX

[AM86]

...

[BO91]

Peter Buneman, Atsushi Ohori: A Type System that Reconsiles Classes and Extents. DBPL 1991: 191-202 BibTeX

[Car84]

...

[Car85]

...

[Car89]

...

[CBC90]

Richard C. H. Connor, Alfred L. Brown, Quintin I. Cutts, Alan Dearle, Ronald Morrison, John Rosenberg: Type Equivalence Checking in Persistent Object Systems. POS 1990: 154-167 BibTeX

[CDG88]

...

[CM91]

...

[CW85]

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

[DCT91]

...

[JL78]

Anita K. Jones, Barbara Liskov: A Language Extension for Expressing Constraints on Data Access. Commun. ACM 21(5): 358-367(1978) BibTeX

[KC86]

Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416 BibTeX

[MBC88]

...

[Mil83]

Robin Milner: A Proposal for Standard ML. LISP and Functional Programming 1984: 184-197 BibTeX

[Str67]

...

[WZ88]

Peter Wegner, Stanley B. Zdonik: Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like. ECOOP 1988: 55-77 BibTeX

[ZM90]

Stanley B. Zdonik, David Maier (Eds.): Readings in Object-Oriented Database Systems. Morgan Kaufmann 1990, ISBN 1-55860-000-0
BibTeX

Referenced by

1. Eric Amiel, Marie-Jo Bellosta, Eric Dujardin, Eric Simon: Type-safe Relaxing of Schema Consistency Rules for Flexible Modeling in OODBMS. VLDB J. 5(2): 133-155(1996)
2. Malcolm P. Atkinson, Ronald Morrison: Orthogonally Persistent Object Systems. VLDB J. 4(3): 319-401(1995)
3. Antonio Albano, Giorgio Ghelli, Renzo Orsini: Fibonacci: A Programming Language for Object Databases. VLDB J. 4(3): 403-444(1995)
4. Richard C. H. Connor, Dharini Balasubramaniam, Ronald Morrison: Investigating Extension Polymorphism. DBPL 1995: 3