A View Extension to an Object-Oriented Type System

M. Naeem, C. J. Harrison


Many languages provide support for describing composite and other user-defined types which in turn depend upon built-in types. A built-in or primitive type is typically composed of a data structure, a set of operations and a view or concrete external representation for that data structure. User-defined types differ from primitive types in that they are typically composed of a data structure and a set of operations only. This paper describes a view model which is an integral part of an object-oriented development language named POOL (Persistent ObjectOriented Language). The language provides a facility for defining multiple and complex views of a user-defined type as an integral part of a type definition. These view definitions are used to enable values of user-defined types to be manipulated directly, for example, during marshalling and input/output operations. This paper also addresses the view inheritance problem associated with user-defined views, and also discusses a type inference strategy adopted for inferring types from values of user-defined types.

Full Text:



Heiler, S. B. Zdonik; Proc. IEEE International Conference on Data Engineering, (1990), 86-93.

Kuno and E. A. Rundensteiner; The MultiView OODB view system: Design and implementation, Technical Report CSE-TR-246-95, University of Michigan, (Jul 1995).

H. Scholl, C. Laasch, M. Tresch; Proc. The Second DOOD Conference, page 113-119 (Dec 1991).

A. Rundensteiner; Proc. 18th VLDB Conference, (1992), 187-198.

Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, S. Zdonic; In Building an ObjectOriented Database System: The Story of O2, Publisher Morgan Kaufmann Pub., (1992).

C. J. Harrison and Majid Naeem; ACM Symposium on Applied Computing Page 1118- 1121 Como, Italy (2000).

C. J. Harrison and Majid Naeem A ModelOriented Programming Support Environment for Understanding Object-Oriented Concepts, Lecture Notes in Computer Science, SpringerVerlag Heidelberg, Vol. 1964/2000, ISSN: 0302-9743.

Sun Microsystems; Remote Procedure Call Protocol Specification, Networking on the Sun Workstation, Sun Microsystems, Mountain View, CA. (1985).

Tay B.H., Ananda A.L.; Operating Systems Review, 24(1990) 68-79.

Bacon J.M., Hamilton K.G.; Distributed Computing with RPC, The Cambridge Approach. Technical Report No. 117. Computer Laboratory, University of Cambridge, England (1987).

Tofte M.; Information and Computation, 89(1990) 1-34.

Palsberg J.; Proc. 9Th Annual IEEE symposium on Logic in Computer Science, (1994), 186-195.

Mitchell J.C.; Proc. 11Th Annual ACM Symposium on Principles of Programming Languages, (1984), 175-185.

Aiken A., E. L. Wimmers; Proc. ACM Conference on Functional Programming and Computer Architecture, (1993), 31-41.

A. Kuno, E. A. Rundensteiner; Implementation experience with building an object-oriented view management system, Technical Report CSE-TR- 191-93, University of Michigan (1993).

C. J. Harrison and Majid Naeem, Proc. IEEE INMIC 2004, 8th International (IEEE) Multitopic Conference, Lahore, Pakistan, (2005), 133- 139.

C. J. Harrison and Majid Naeem, Proc. IEEE INMIC 2004, 8th International (IEEE) Multitopic Conference, Lahore, Pakistan, (2004), 737- 742.

Copyright (c) 2016 M. Naeem

Powered By KICS