Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
The role of frame-based representation in reasoning
Communications of the ACM
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
A semantics of multiple inheritance
Information and Computation - Semantics of Data Types
O2, an object-oriented data model
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Object identity as a query language primitive
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A formal approach to object-oriented databases
Data & Knowledge Engineering
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Algebras for object-oriented query languages
Algebras for object-oriented query languages
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
The C++ Programming Language, Third Edition
The C++ Programming Language, Third Edition
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Querying Objects with Complex Static Structure
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Hi-index | 0.00 |
In this paper we present the consequences of unifying the representation of the schema and the instance levels of an object programming language to the formal representation of object model. The uniform representation of schema and instance levels of object languages is achieved, as in the frame-based knowledge representation languages [9], by representing them using a uniform set of modeling constructs. We show that, using such an approach, the structural part of the object language model can be described in a clear manner providing the simple means for the description of the main constructs of the structural model and the relationships among them. Further, we study the consequences of releasing the boundary between the schema and the instance levels of an object programming language by allowing the definition of objects which include data from both levels. We show that few changes are needed in order to augment the previously presented formal definition of the structural part of object language to represent the extended object model.