Subtyping in OODB's (extended abstract)

[1]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[2]  Jay Banerjee,et al.  Data model issues for object-oriented applications , 1987, TOIS.

[3]  J. Palsberg,et al.  A denotational semantics of inheritance and its correctness , 1989, OOPSLA '89.

[4]  José Meseguer,et al.  EQLOG: Equality, Types, and Generic Modules For Logic Programming , 1986, Logic Programming: Functions, Relations, and Equations.

[5]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Inf. Comput..

[6]  Cristina Sernadas,et al.  Object-Oriented Specification of Databases: An Algebraic Approach , 1987, VLDB.

[7]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[8]  Roel Wieringa,et al.  Algebraic Specification of Object Dynamics in Knowledge Base Domains , 1990, DS-3.

[9]  José Meseguer,et al.  Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics , 1987, Research Directions in Object-Oriented Programming.

[10]  Christophe Lécluse,et al.  Modeling Inheritance and Genericity in Object Oriented-Databases , 1988, ICDT.

[11]  José Luiz Fiadeiro,et al.  Abstract Object Types: A Temporal Perspective , 1987, Temporal Logic in Specification.

[12]  Catriel Beeri,et al.  Functional and predictive programming in OODB's , 1992, PODS '92.

[13]  Christophe Lécluse,et al.  Modeling complex structures in object-oriented logic programming , 1989, PODS.

[14]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[15]  Alexander Borgida,et al.  Type systems for querying class hierarchies with non-strict inheritance , 1989, PODS '89.

[16]  Christophe Lécluse,et al.  Modeling complex structures in object-oriented logic programming , 1989, PODS '89.