Implementation of the Object-Oriented Data Model TM

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

[2]  Catriel Beeri,et al.  Algebraic Optimization of Object-Oriented Query Languages , 1990, Theor. Comput. Sci..

[3]  Johann-Christoph Freytag,et al.  A rule-based view of query optimization , 1987, SIGMOD '87.

[4]  David Gries,et al.  Specification and Transformation of Programs: A Formal Approach to Software Development , 1990 .

[5]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[6]  H. Balsters,et al.  Sets and constraints in an object-oriented data model , 1990 .

[7]  Christophe Lécluse,et al.  The O2 Database Programming Language , 1989, Building an Object-Oriented Database System, The Story of O2.

[8]  Peter M. G. Apers,et al.  The TM manual, version 2.0 , 1993 .

[9]  Herman Balsters,et al.  A Semantics of Object-Oriented Sets , 1992, DBPL.

[10]  Herman Balsters,et al.  Subtyping Can Have a Simple Semantics , 1991, Theor. Comput. Sci..

[11]  D. A. Turner,et al.  Miranda: A Non-Strict Functional language with Polymorphic Types , 1985, FPCA.

[12]  Rolf A. de By.  The integration of specification aspects in database design , 1991 .

[13]  David Maier,et al.  Readings in Object-Oriented Database Systems , 1989 .

[14]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

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