TY - JOUR
T1 - A formal approach to object-oriented databases
AU - Beeri, Catriel
PY - 1990/10
Y1 - 1990/10
N2 - 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 reports on efforts to develop a formal framework that contains most features found in current object oriented database systems. The framework contains 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 higher-order concepts, such as classes and functions as data, methods, and inheritance. This part is a sketch, and leaves many issues unresolved. Throughout the paper, the emphasis is on logic-oriented modeling.
AB - 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 reports on efforts to develop a formal framework that contains most features found in current object oriented database systems. The framework contains 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 higher-order concepts, such as classes and functions as data, methods, and inheritance. This part is a sketch, and leaves many issues unresolved. Throughout the paper, the emphasis is on logic-oriented modeling.
KW - Declarative languages
KW - Formal model
KW - Higher-order logic
KW - Methods
KW - Object-oriented database systems
UR - http://www.scopus.com/inward/record.url?scp=0000656345&partnerID=8YFLogxK
U2 - 10.1016/0169-023X(90)90020-E
DO - 10.1016/0169-023X(90)90020-E
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:0000656345
SN - 0169-023X
VL - 5
SP - 353
EP - 382
JO - Data and Knowledge Engineering
JF - Data and Knowledge Engineering
IS - 4
ER -