Authors: O. De Troyer, R. Meersman
Tags: 1995, conceptual modeling
We describe a (meta) formalism, called Data Modelling Logic (DM logic), for defining a variety of (object oriented) data models in a unified framework based on first-order logic. Using NORM, an OO model, we illustrate how essential 00 properties such as information hiding, encapsulation, inheritance and behavior may be generically described, as well as the fundamental distinction with object-oriented programming, namely persistence. A formal semantics for these concepts can so be given independently of the chosen data model. DM logic has been demonstrated in earlier work to adequately support “classical” data models such as (E)ER, NIAM, and the Relational Model, and so-called lossless transformations between them. By “programming” an OO data model in DM Logic, it should become possible to arrive at objective relationships between (OO and other) data modelling techniques.Read the full paper here: https://link.springer.com/chapter/10.1007/BFb0020536
