Сільвейструк Л. М. Формалізація моделі "сутність-зв'язок": типи сутностей, типи зв'язків та їх обмеження

На основі аналізу моделі "cутність-зв'язок" уніфіковані поняття основних її елементів. Формалізована вимога коректності моделі по слабким типам зв'язків; введенням поняття коректності ієрархії типів типу сутності та коректності ієрархії типів всієї моделі формалізована вимога коректності моделі щодо успадкування. Формалізовані поняття базових типів обмежень кардинальності для бінарних та багатосторонніх типів зв'язків; доведена низка тверджень про логічні зв'язки між значеннями базових типів обмежень кардинальності для підходів "дивитися через" та участі. В роботі побудовано розділ математичної теорії моделі "сутність-зв'язок"; цей розділ є необхідною частиною формалізації моделі, на базі якої можна переходити до стандартизації моделі.