Can Object-Oriented Databases be Statically Typed?

@inproceedings{DBLP:conf/dbpl/TannenBO89,
  author    = {Val Tannen and
               Peter Buneman and
               Atsushi Ohori},
  editor    = {Richard Hull and
               Ronald Morrison and
               David W. Stemple},
  title     = {Can Object-Oriented Databases be Statically Typed?},
  booktitle = {Proceedings of the Second International Workshop on Database
               Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden
               Beach, Oregon},
  publisher = {Morgan Kaufmann},
  year      = {1989},
  isbn      = {1-55860-072-8},
  pages     = {226-237},
  ee        = {db/conf/dbpl/TannenBO89.html},
  crossref  = {DBLP:conf/dbpl/89},
  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

[AB87]

Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987)

[BBG88]

...

[BCGS89]

Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance and Explicit Coercion (Preliminary Report). LICS 1989: 112-129

[BJO89]

Peter Buneman, Achim Jung, Atsushi Ohori: Using Powerdomains to Generalize Relational Databases. Theor. Comput. Sci. 91(1): 23-55(1991)

[Car84a]

...

[Car84b]

...

[Car88a]

...

[Car88b]

Luca Cardelli: Structural Subtyping and the Notion of Power Type. POPL 1988: 70-79

[CM88]

...

[CW85]

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

[FM88]

You-Chin Fuh, Prateek Mishra: Type Inference with Subtypes. ESOP 1988: 94-114

[GB80]

Ira P. Goldstein, Daniel G. Bobrow: Extenting Object Oriented Programming in Smalltalk. LISP Conference 1980: 75-81

[HK87]

Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987)

[HMT88]

...

[Hul87]

...

[JM88]

Lalita Jategaonkar, John C. Mitchell: ML with Extended Pattern Matching and Subtypes. LISP and Functional Programming 1988: 198-211

[Mac79]

...

[Mit84]

John C. Mitchell: Coercion and Type Inference. POPL 1984: 175-185

[OB88]

Atsushi Ohori, Peter Buneman: Type Inference in a Database Programming Language. LISP and Functional Programming 1988: 174-183

[OBB89]

Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57

[Oho88]

Atsushi Ohori: Semantics of Types for Database Objects. ICDT 1988: 239-251

[Rem89]

Didier Rémy: Typechecking Records and Variants in a Natural Extension of ML. POPL 1989: 77-88

[Rey74]

...

[Sta88]

Ryan Stansifer: Type Inference with Subtypes. POPL 1988: 88-97

[Tur85]

D. A. Turner: Miranda: A Non-Strict Functional language with Polymorphic Types. FPCA 1985: 1-16

[Wan87]

Mitchell Wand: Complete Type Inference for Simple Objects. LICS 1987: 37-44