This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An Algebraic Theory of Object-Oriented Systems
June 1994 (vol. 6 no. 3)
pp. 412-419

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] S. Abiteboul and R. Hull, "IFO: a formal semantic database model,"ACM Trans. Database Syst., pp. 525-56, Dec. 1987.
[2] C. Beeri, "Data models and languages for databases," inProc. 2nd Int. Conf. Database Theory, Bruges, Belgium, 1988; and inLNCS 326. New York: Springer-Verlag, 1988.
[3] E. K. Blum, H. Ehrig, and F. Parisi-Presicce, "Algebraic specification of modules and their basic interconnections,"J. Comput. Syst. Sci., vol. 34, no. 2, pp. 293-339, 1987.
[4] L. Cardelli, "A semantics of multiple inheritance,"Inform. Computation, vol. 76, pp. 138-164, 1988.
[5] P. Dybjer, "Domain algebras," in J. Paredaens, Ed.,Automata, Languages and Programming, 11th Colloquium.Lecture Notes in Computer Science, vol. 172, pp. 138-150, 1984.
[6] H.-D. Ehrich, A. Sernada, and C. Sernadas, "Abstract data type for databases," in K. R. Dittrich, Ed.,Advances in Object Oriented Database Systems. Proc. 2nd Int. Workshop, Lecture Notes in Computer Science, vol. 334, pp. 144-149, 1988.
[7] H.-D. Ehrich, A. Sernadas, and C. Sernadas, "Objects, object types, and object identities," in H. Ehrig, H. Herrlich, H.-J. Kreowski and G. Preuβ, Eds.,Categorical Methods in Computer Science, Lecture Notes in Computer Science, vol. 393, pp. 142-156, 1989.
[8] Ehrig, H., and B. Mahr,Fundamentals of Algebraic Specification 1, Springer-Verlag, Berlin, 1985.
[9] J. A. Goguen, J. W. Thatcher, and E. G. Wagner, "An initial approach to the specification, correctness and implementation of abstract data types," in: R. T. Yeh, Ed.,Current Trends in Programming Methodology: Data Structuring., vol. 4, Englewood Cliffs, NJ: Prentice-Hall, 1978, 80-149.
[10] M. Guo, S. Y. W. Su, and H. Lam, "An association algebra for processing object-oriented databases," inProc. 7th Data Engineering conf., 1991, pp. 23-32.
[11] R. Hull, "A survey of theoretical research on typed complex database objects," in J. Paredaens, Ed.,Databases. New York: Academic Press, 1987, pp. 193-256.
[12] J. L. Knudsen, "Name collision in classification hierachies," in S. Gjessing and K. Nygaard, Eds.,Proc. ECOOP'88, European Conf. Object Oriented Programming, 1988, pp. 93-109.
[13] C. Lécluse, P. Richard, and F. Velez, "O2, an object-oriented data model," inProc. 1988 ACM SIGMOD Int. Conf. Management of Data, (Chicago, Illinois, May 1988), pp. 424-433, 1988.
[14] F. Manola and U. Dayal, "PDM: An Object-Oriented Data Model,"Proc. Int'l Workshop Object Oriented Database Systems, IEEE CS Press, Los Alamitos, Calif., Order No. 734, 1986, pp. 18-25.
[15] B. Möller, "On the algebraic specification of domains," in H.-J. Kreowski, Ed.,Recent Trends in Data Type Specification: 3rd Workshop on Theory of Applications of Abstract Data Types, Informatik-Fachberichte 116, 1985, pp. 178-195.
[16] A. Sernadas, C. Sernadas, and H.-D. Ehrich, "Object oriented specification of databases: An algebraic approach," in P. M. Stocker and W. Kent, Eds.,Proc. 13th VLDB. Los Altos, CA: Morgan Kaufmann, 1987, pp. 107-166.
[17] E. G. Wagner, "Categorical semantics, or extending data types to include memory," in H.-J. Kreowski, Ed.,Recent Trends in Data Type Specification: 3rd Workshop on Theory of Applications of Abstract Data Types, Informatik-Fachberichte 116, 1985, pp. 1-21.
[18] E. G. Wagner, "Categories, data types, and imperative languages," in D. Pitt, S. Abramsky, A. Poigné, and D. Rydehheard, Eds.,Category, Theory and Computer Programming, 1985, pp. 143-162.
[19] E. G. Wagner, "Semantics of block structured languages with pointers," in M. Main, A. Melton, M. Mislove, and D. Schmigt,Mathematical Foundations of Programming Semantics, 3rd Workshop, Lecture Notes in Computer Science 298, pp. 57-84.
[20] E. G. Wagner, "On declarations," in H. Ehrig, H. Herrlich, H.-J. Kreowski, and G. Preuβ, Eds.,Categorical Methods in Computer Science, 1989,Lecture Notes in Computer Science393, pp. 261-277.
[21] P. Wegner and S. B. Zdonik, "Inheritance as an incremental modification mechanism, or what like is and isn't like," in S. Gjessing and K. Nygaard, Eds.,Proc. ECOOP'88. European Conf. Object Oriented Programming., 1988,Lecture Notes in Computer Science322, pp. 55-77.
[22] W. Wilkes, "Instance inheritance mechanisms for object-oriented databases," in K. R. Dittrich, Ed.,Advances in Object Oriented Database Syst., Proc. 2nd Int. Workshop1988,Lecture Notes in Computer Science334, pp. 274-279.
[23] S. Zdonik and D. Maier, eds.,Readings in Object-Oriented Database Systems, Morgan Kaufmann, San Mateo, Calif., 1990.

Index Terms:
abstract data types; formal specification; object-oriented programming; object-oriented databases; algebraic theory; object-oriented systems; algebraic specification; net objects; object-oriented paradigms; nested relations; complex database models; object-oriented programming; multiple inheritance; polymorphism; hierarchical approach; abstract data types
Citation:
X.-M. Yu, T.S. Dillon, "An Algebraic Theory of Object-Oriented Systems," IEEE Transactions on Knowledge and Data Engineering, vol. 6, no. 3, pp. 412-419, June 1994, doi:10.1109/69.334861
Usage of this product signifies your acceptance of the Terms of Use.