An Algebraic Theory of Object-Oriented Systems

The paper presents an algebraic specification of net objects. By net objects we mean those that are defined in object-oriented paradigms and those defined with nested relations in complex database models. An algebraic specification is set up that involves structures of net objects, accesses of net objects, and some features of object-oriented programming, such as multiple inheritance and polymorphism. Objects and their relationships are then characterized formally in the modeling, which utilizes the hierarchical approach in the algebraic theory of abstract data types, and is further developed by adding mechanisms from existing object systems. Categories of net objects are presented with the properties of accesses among them. >

[1]  Herman Lam,et al.  An association algebra for processing object-oriented databases , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

[2]  Umeshwar Dayal,et al.  PDM: An Object-Oriented Data Model , 1986, OODBS.

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

[4]  Eric G. Wagner Categorical Semantics, Or Extending Data Types to Include Memory , 1984, ADT.

[5]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Information and Computation.

[6]  Jørgen Lindskov Knudsen Name Collision in Multiple Classification Hierarchies , 1988, ECOOP.

[7]  Christophe Lécluse,et al.  O2, an object-oriented data model , 1988, SIGMOD '88.

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

[9]  Hartmut Ehrig,et al.  Algebraic Specification of Modules and Their Basic Interconnections , 1987, J. Comput. Syst. Sci..

[10]  Peter Dybjer,et al.  Domain Algebras , 1984, ICALP.

[11]  Serge Abiteboul,et al.  IFO: A Formal Semantic Database Model , 1987, ACM Trans. Database Syst..

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

[13]  Martin Wirsing,et al.  Algebraic Specification with Built-in Domain Constructions , 1988, CAAP.

[14]  Eric G. Wagner Semantics of Block Structured Languages with Pointers , 1987, MFPS.

[15]  Richard Hull,et al.  A Survey of Theoretical Research on Typed Complex Database Objects , 1988, XP7.52 Workshop on Database Theory.

[16]  Wolfgang Wilkes Instance Inheritance Mechanisms for Object-Oriented Databases , 1988, OODBS.

[17]  Stanley B. Zdonik,et al.  Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like , 1988, ECOOP.

[18]  Eric G. Wagner,et al.  On Declarations , 1988, Categorial Methods in Computer Science.

[19]  Eric G. Wagner Categories, Data Types and Imperative Languages , 1985, CTCS.

[20]  Hans-Dieter Ehrich Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics , 1985, CTCS.

[21]  Catriel Beeri,et al.  Data Models and Languages for Databases , 1988, ICDT.

[22]  Walter Dosch,et al.  On the Algebraic Specification of Domains , 1984, ADT.

[23]  Fernando Vélez,et al.  O2, an Object-Oriented Data Model , 1992, Building an Object-Oriented Database System, The Story of O2.