## The graph-based logic of ER-diagrams and taming heterogeneity of semantic data models (1997)

Citations: | 2 - 1 self |

### BibTeX

@MISC{Diskin97thegraph-based,

author = {Zinovy Diskin},

title = {The graph-based logic of ER-diagrams and taming heterogeneity of semantic data models},

year = {1997}

}

### OpenURL

### Abstract

The first goal of the paper is to explicate the formal logic underlying ERdiagrams, ERD-logic. It is shown that this logic is a logic of predicates over set-andfunction diagrams, that is, a graph-based logic. Main principles of graph-based logics are developed, in particular, a principal distinction between a logical specification as such and its visual presentation is carefully drawn and demonstrated in a number of examples. The approach is based on a generalization of the sketch logic developed in the mathematical category theory, our version was designed to adapt the idea for conceptual modeling. Following category theory, specifications of the language we propose are also called sketches, and so the ERD-logic is manifested as the sketch logic. The second goal of the paper is to demonstrate that the problem of semantic models heterogeneity can be naturally managed in the sketch framework. It is shown that data specifications in many of conventional semantic models can be consider...