Search academic texts

Information × Registration Number 0409U004318, Candidate dissertation Status к.ф.-м.н. Date 02-07-2008 popup.evolution o Title Formalization of model "entity-relationship": entity types, relationship types and their constraints Author Silveystruk Ludmyla Mykolaivna, popup.head Buj Dmytro Borysovych popup.opponent Дорошенко Анатолій Юхимович popup.opponent Гороховський Семен Самуїлович Description На основі аналізу моделі "cутність-зв'язок" уніфіковані поняття основних її елементів. Формалізована вимога коректності моделі по слабким типам зв'язків; введенням поняття коректності ієрархії типів типу сутності та коректності ієрархії типів всієї моделі формалізована вимога коректності моделі щодо успадкування. Формалізовані поняття базових типів обмежень кардинальності для бінарних та багатосторонніх типів зв'язків; доведена низка тверджень про логічні зв'язки між значеннями базових типів обмежень кардинальності для підходів "дивитися через" та участі. В роботі побудовано розділ математичної теорії моделі "сутність-зв'язок"; цей розділ є необхідною частиною формалізації моделі, на базі якої можна переходити до стандартизації моделі. Registration Date 2008-07-02 popup.nrat_date 2020-04-04 Close