Silveystruk L. Formalization of model "entity-relationship": entity types, relationship types and their constraints

The concept of it basic elements are unified on the base analysis of model "entity-relationship". There was formalized correctness requirement of model construction by weak type relations; introduction hierarchy correctness types of type entity and hierarchy correctness types of all the model, there was formalized requirement of the model correctness as to the inheritance. Basic types notions of cardinality constraints for binary and multilateral relations types were formalized; proved row of assertions about logical relations between the meaning of basic types of cardinality constraints for the approaches to "look through" and participation. In this paper a section of mathematical theory model "entity-relationship" fragment had been built; this section is a necessary part of model formalization, the base of which may be used as a transition of model standardization.