TY - GEN
T1 - Issues in formal semantics of an object oriented database
AU - Smith, Lon
AU - Buckley, James
PY - 1994
Y1 - 1994
N2 - Without a solid theoretical foundation, object oriented databases face the danger of becoming obsolete. This paper addresses the lack of a formal semantics for the object oriented data model. A formal data model, based on set-theoretic concepts, is defined as well as a first-order query language, B++. the semantics for our model and language are defined for both fixpoint and less formally, model-theoretic. In particular, by showing that the closure operator has a fixpoint, we have resolved the cyclical reference problem semantically.
AB - Without a solid theoretical foundation, object oriented databases face the danger of becoming obsolete. This paper addresses the lack of a formal semantics for the object oriented data model. A formal data model, based on set-theoretic concepts, is defined as well as a first-order query language, B++. the semantics for our model and language are defined for both fixpoint and less formally, model-theoretic. In particular, by showing that the closure operator has a fixpoint, we have resolved the cyclical reference problem semantically.
UR - http://www.scopus.com/inward/record.url?scp=0028115332&partnerID=8YFLogxK
U2 - 10.1145/197530.197579
DO - 10.1145/197530.197579
M3 - Conference contribution
AN - SCOPUS:0028115332
SN - 0897916344
SN - 9780897916349
T3 - Proceedings - ACM Computer Science Conference
SP - 139
EP - 146
BT - Proceedings - ACM Computer Science Conference
PB - Publ by ACM
T2 - Proceedings of the 22nd Annual ACM Computer Science Conference
Y2 - 8 March 1994 through 10 March 1994
ER -