A Partial Semantics for Object Data Models with Static Binding

  • Authors:

  • S. Kazem Lellahi;Rachid Souah

  • Affiliations:

  • -;-

  • Venue:
  • PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose a formal semantics for object data models. Our approach may be seen as a semantic approach to object-relational models. It is object-oriented because it captures the main concepts of objectoriented models namely : class, method, object identity, inheritance, collection types and persistence; it is relational because it maintain the main characteristics of the relational model, especially the clear separation between schema, instance and querying. Moreover, it is functional in the sense that it is based on a simple algebra of partial functions whose main role is to perform arithmetic computations, similar to commercial languages. Another important aspect of our approach is that it provides a rigorous mathematical treatment of null value.