Теорія нормалізації в табличних базах даних
Тип публікації :
Дисертація
Дата випуску :
2016
Автор(и) :
Пузікова Анна Валентинівна
Науковий(і) керівник(и)/редактор(и) :
Буй Дмитро Борисович
Мова основного тексту :
ua
eKNUTSHIR URL :
Цитування :
[APA 7] Пузікова, А. В. (2016). Теорія нормалізації в табличних базах даних [Дис. канд. фіз.-мат. наук, Київський національний університет імені Тараса Шевченка]. eKNUTSHIR. https://ir.library.knu.ua/handle/123456789/4917
[ДСТУ] Пузікова А. В. Теорія нормалізації в табличних базах даних : дис. … канд. фіз.-мат. наук : 12 Інформаційні технології. Київ, 2016. 132 с. URL: https://ir.library.knu.ua/handle/123456789/4917 (дата звернення: 25.07.2026).
Математично доведені повнота та коректність трьох основних аксіоматик залежностей в реляційних БД: по-перше, аксіоматики ФЗ Армстронга, по-друге, аксіоматики БЗЗ, та по-третє, аксіоматики ФЗ і БЗЗ через збіжність відношень синтаксичного та семантичного слідувань.
Встановлено критерії повноти аксіоматики ФЗ та аксіоматик ФЗ і БЗЗ в термінах потужностей множини атрибутів та універсального домена.
Доведена незалежність складових аксіоматики ФЗ Армстронга (видалення кожної складової зменшує породжуючу силу аксіоматики).
Побудована алгебра ФЗ, сигнатура якої складена відповідно до складових аксіоматики ФЗ Армстронга. Розглянута підалгебра тривіальних ФЗ та множина, яка її породжує. Це дозволяє формулювати результати щодо властивостей аксіоматики Армстронга на алгебраїчній мові.
Побудовано цілісний та несцперечливий фрагмент математичної теорії нормалізації щодо нормальних форм 2-4 порядків. Для спеціальних випадків встановлені значення потенційних ключів, а також, достатні умови для знаходження таблиці у НФ 2-4 порядків.
Сформульовані означення 2-4 НФ задовольняють принципу «включення» НФ вищих порядків в НФ нижчих порядків.
Ключові слова : таблична база даних, теорія нормалізації, функціональна залежність, багатозначна залежність, нормальна форма.
Встановлено критерії повноти аксіоматики ФЗ та аксіоматик ФЗ і БЗЗ в термінах потужностей множини атрибутів та універсального домена.
Доведена незалежність складових аксіоматики ФЗ Армстронга (видалення кожної складової зменшує породжуючу силу аксіоматики).
Побудована алгебра ФЗ, сигнатура якої складена відповідно до складових аксіоматики ФЗ Армстронга. Розглянута підалгебра тривіальних ФЗ та множина, яка її породжує. Це дозволяє формулювати результати щодо властивостей аксіоматики Армстронга на алгебраїчній мові.
Побудовано цілісний та несцперечливий фрагмент математичної теорії нормалізації щодо нормальних форм 2-4 порядків. Для спеціальних випадків встановлені значення потенційних ключів, а також, достатні умови для знаходження таблиці у НФ 2-4 порядків.
Сформульовані означення 2-4 НФ задовольняють принципу «включення» НФ вищих порядків в НФ нижчих порядків.
Ключові слова : таблична база даних, теорія нормалізації, функціональна залежність, багатозначна залежність, нормальна форма.
Галузі знань та спеціальності :
12 Інформаційні технології
121 Інженерія програмного забезпечення
Файл(и) :![Ескіз]()
Вантажиться...
Формат :
Adobe PDF
Розмір :
2.82 MB
Контрольна сума :
(MD5):9be0cb9bdeb1bea916b7fec948e2701c
Якщо не вказано інше, ця робота розповсюджується на умовах ліцензії Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International