Formal Models for Object Oriented Databases.
Catriel Beeri · 1989
Object oriented database systems are the focus of current research and development efforts. Yet, there is no commonly accepted object model, nor is it clear whether such a model can be developed. This paper informally reports on efforts to develop a formal framework that contains most features found in current object oriented database systems. The framework contain two parts. The first is a structural object model, including concepts such as structured objects, identity, and some form of inheritance. For this model, we explain the distinction between values and (abstract) objects, describe a system as a directed graph, and discuss declarative languages. The second part deals with high order concepts, such as classes and functions as data, methods, inheritance and encapsulation. This part is a sketch, and leaves many issues unresolved.