Issues in formal semantics of an object oriented database

Lon Smith, James Buckley

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - ACM Computer Science Conference
PublisherPubl by ACM
Pages139-146
Number of pages8
ISBN (Print)0897916344, 9780897916349
DOIs
Publication statusPublished - 1994
Externally publishedYes
EventProceedings of the 22nd Annual ACM Computer Science Conference - Phoenix, AZ, USA
Duration: 8 Mar 199410 Mar 1994

Publication series

NameProceedings - ACM Computer Science Conference

Conference

ConferenceProceedings of the 22nd Annual ACM Computer Science Conference
CityPhoenix, AZ, USA
Period8/03/9410/03/94

Fingerprint

Dive into the research topics of 'Issues in formal semantics of an object oriented database'. Together they form a unique fingerprint.

Cite this