A Semantics of Object-Oriented Sets.

@inproceedings{DBLP:conf/dbpl/BalstersV91,
  author    = {Herman Balsters and
               Chris C. de Vreeze},
  editor    = {Paris C. Kanellakis and
               Joachim W. Schmidt},
  title     = {A Semantics of Object-Oriented Sets},
  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     = {203-217},
  ee        = {db/conf/dbpl/BalstersV91.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

[1]

Luca Cardelli: Types for Data-Oriented Languages. EDBT 1988: 1-15 BibTeX

[2]

...

[3]

François Bancilhon: Object-Oriented Database Systems. PODS 1988: 152-162 BibTeX

[4]

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

[5]

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

[6]

Herman Balsters, Maarten M. Fokkinga: Subtyping Can Have a Simple Semantics. Theor. Comput. Sci. 87(1): 81-96(1991) BibTeX

[7]

...

[8]

John C. Reynolds: Three Approaches to Type Structure. TAPSOFT, Vol.1 1985: 97-138 BibTeX

[9]

...

[10]

David B. MacQueen, Gordon D. Plotkin, Ravi Sethi: An Ideal Model for Recursive Polymorphic Types. POPL 1984: 165-174 BibTeX

[11]

Kim B. Bruce, Peter Wegner: An Algebraic Model of Subtype and Inheritance. DBPL 1987: 75-96 BibTeX

[12]

...

Referenced by

1. David Spelt, Herman Balsters: Automatic Verification of Transactions on an Object-Oriented Database. DBPL 1997: 396-412
2. Paul W. P. J. Grefen, Rolf A. de By, Peter M. G. Apers: Integrity Control in Advanced Database Systems. IEEE Data Eng. Bull. 17(2): 9-13(1994)
3. Jan Flokstra, Maurice van Keulen, Jacek Skowronek: The IMPRESS DDT: A Database Design Toolbox Based on a Formal Specification Language. SIGMOD Conference 1994: 506
4. Hennie J. Steenhagen, Peter M. G. Apers, Henk M. Blanken: Optimization of Nested Queries in a Complex Object Model. EDBT 1994: 337-350
5. Christian Laasch, Marc H. Scholl: A Functional Object Language. DBPL 1993: 136-156