An Algebraic Model of Subtype and Inheritance.

@inproceedings{DBLP:conf/dbpl/BruceW87,
  author    = {Kim B. Bruce and
               Peter Wegner},
  editor    = {Fran\c{c}ois Bancilhon and
               Peter Buneman},
  title     = {An Algebraic Model of Subtype and Inheritance},
  booktitle = {Advances in Database Programming Languages, Papers from DBPL-1,
               September 1987, Roscoff, France},
  publisher = {ACM Press / Addison-Wesley},
  year      = {1987},
  isbn      = {0-201-50257-7},
  pages     = {75-96},
  ee        = {db/conf/dbpl/BruceW87.html},
  crossref  = {DBLP:conf/dbpl/87},
  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]

Kim B. Bruce, Giuseppe Longo: A Modest Model of Records, Inheritance and Bounded Quantification. LICS 1988: 38-50 BibTeX

[2]

...

[3]

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

[4]

Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer: Principles of OBJ2. POPL 1985: 52-66 BibTeX

[5]

Joseph A. Goguen, José Meseguer: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. 105(2): 217-273(1992) BibTeX

[6]

...

[7]

...

[8]

Peter Wegner: The Object-Oriented Classification Paradigm. Research Directions in Object-Oriented Programming 1987: 479-560 BibTeX

Referenced by

1. Roland Kaschek: Inheritance as a Conceptual Primitive. ER 1996: 406-421
2. Henderik Alex Proper, Theo P. van der Weide: A General Theory for Evolving Application Models. IEEE Trans. Knowl. Data Eng. 7(6): 984-996(1995)
3. Christian Kalus, Peter Dadam: Flexible Relations - Operational Support of Variant Relational Structures. VLDB 1995: 539-550
4. Jaroslaw A. Chudziak, Henryk Rybinski, James Vorbach: Towards a Unifying Logic Formalism for Semantic Data Models. ER 1993: 492-507
5. Herman Balsters, Chris C. de Vreeze: A Semantics of Object-Oriented Sets. DBPL 1991: 203-217
6. Peter Wegner, Stanley B. Zdonik: Models of Inheritance. DBPL 1989: 248-255
7. Malcolm P. Atkinson: Questioning Persistent Types. DBPL 1989: 2-24
8. Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433
9. Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987)