Пошук академічних текстів

Інформація × Реєстраційний номер 0409U004318, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 02-07-2008 Статус Запланована Назва роботи Формалізація моделі "сутність-зв'язок": типи сутностей, типи зв'язків та їх обмеження Здобувач Сільвейструк Людмила Миколаївна, Керівник Буй Дмитро Борисович Опонент Дорошенко Анатолій Юхимович Опонент Гороховський Семен Самуїлович Опис На основі аналізу моделі "cутність-зв'язок" уніфіковані поняття основних її елементів. Формалізована вимога коректності моделі по слабким типам зв'язків; введенням поняття коректності ієрархії типів типу сутності та коректності ієрархії типів всієї моделі формалізована вимога коректності моделі щодо успадкування. Формалізовані поняття базових типів обмежень кардинальності для бінарних та багатосторонніх типів зв'язків; доведена низка тверджень про логічні зв'язки між значеннями базових типів обмежень кардинальності для підходів "дивитися через" та участі. В роботі побудовано розділ математичної теорії моделі "сутність-зв'язок"; цей розділ є необхідною частиною формалізації моделі, на базі якої можна переходити до стандартизації моделі. Дата реєстрації 2008-07-02 Додано в НРАТ 2020-04-04 Закрити