Union-Types in Object-Oriented Schemes.

@inproceedings{DBLP:conf/dbpl/Hidders95,
  author    = {Jan Hidders},
  editor    = {Paolo Atzeni and
               Val Tannen},
  title     = {Union-Types in Object-Oriented Schemes},
  booktitle = {Database Programming Languages (DBPL-5), Proceedings of the Fifth
               International Workshop on Database Programming Languages, Gubbio,
               Umbria, Italy, 6-8 September 1995},
  publisher = {Springer},
  series    = {Electronic Workshops in Computing},
  year      = {1995},
  isbn      = {3-540-76086-5},
  pages     = {2},
  ee        = {db/conf/dbpl/Hidders95.html},
  crossref  = {DBLP:conf/dbpl/95},
  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

[1]

Serge Abiteboul, Richard Hull: IFO: A Formal Semantic Database Model. ACM Trans. Database Syst. 12(4): 525-565(1987) BibTeX

[2]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX

[3]

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro: Intersection and Union Types: Syntax and Semantics. Inf. Comput. 119(2): 202-230(1995) BibTeX

[4]

...

[5]

Diego Calvanese, Maurizio Lenzerini: Making Object-Oriented Schemas More Expressive. PODS 1994: 243-254 BibTeX

[6]

Luca Cardelli: A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164(1988) BibTeX

[7]

Vassilis Christophides, Serge Abiteboul, Sophie Cluet, Michel Scholl: From Structured Documents to Novel Query Facilities. SIGMOD Conference 1994: 313-324 BibTeX

[8]

M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7
BibTeX

[9]

Gabriel M. Kuper, Moshe Y. Vardi: The Logical Data Model. ACM Trans. Database Syst. 18(3): 379-413(1993) BibTeX

[10]

Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368 BibTeX

[11]

Tok Wang Ling, Pit Koon Teo: Inheritance Conflicts in Object-Oriented Systems. DEXA 1993: 189-200 BibTeX

[12]

...

[13]

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

[14]

...