Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>ID=20091229002271<.>) |
Загальна кількість знайдених документів : 1
|
| Сільвейструк Л.М. Формалізація моделі "сутність - зв'язок": типи сутностей, типи зв'язків та їх обмеження : автореф. дис... канд. фіз.-мат. наук: 01.05.03 / Л.М. Сільвейструк ; Київ. нац. ун-т ім. Т.Шевченка. — К., 2009. — 19 с. — укp.Досліджено проблему формалізації концептуальної моделі сутність - зв'язок у контексті розвитку CASE-засобів, які її підтримують, з застосуванням методів, які грунтуються на теоретико-множинній платформі (теорії відношень і решіток). На підставі аналізу моделі сутність - зв'язок уніфіковано поняття її основних елементів. Формалізовано вимогу коректності моделі за слабкими типами зв'язків. Запропоновано поняття коректності ієрархії типів сутності та коректності ієрархії типів всієї моделі. Формалізовано вимогу коректності моделі щодо успадкування. Наведено визначення поняття базових типів обмежень кардинальності для бінарних і багатосторонніх типів зв'язків. Доведено твердження про логічні зв'язки між значеннями базових типів обмежень кардинальності для підходів "дивитися через" та участі. Розроблено розділ математичної теорії моделі сутність - зв'язок, який є необхідною частиною формалізації моделі, на базі якої можна здійснювати її стандартизацію. Завантажити Індекс рубрикатора НБУВ: З970.6-015.5 + Шифр НБУВ: РА365816
Рубрики:
|
|
|