Authors: Giuseppe Di Battista, Maurizio Lenzerini
Tags: 1993, conceptual modeling
We present an entity relationship oriented model, which essentially includes the notion of class, together with different types of assertions on classes. The assertions are used to model IS-A and disjointness relations both between entities and between relationships, part-of relations between entities and relationships, mandatory participation of an entity in a relationship, and interdependencies between the projections of relationships. We define the semantics of the model in terms of first-order logic, and present a sound and complete inference algorithm for such a model. The algorithm is shown to have polynomial time complexity in the case where interdependencies on the projections of relationships are not taken into account. We argue that our model and the associated inference capabilities provide a suitable formal basis for designing an effective environment supporting conceptual modeling.Read the full paper here: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=224196
