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.