Теорія нормалізації в табличних базах даних
Publication type :
Дисертація
Issue Date :
2016
Author(s) :
Пузікова Анна Валентинівна
Academic supervisor(s)/editor(s) :
Буй Дмитро Борисович
Main language :
ua
eKNUTSHIR URL :
Bibliographic description :
[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 НФ задовольняють принципу «включення» НФ вищих порядків в НФ нижчих порядків.
Ключові слова : таблична база даних, теорія нормалізації, функціональна залежність, багатозначна залежність, нормальна форма.
Areas of expertise and specialties :
12 Інформаційні технології
121 Інженерія програмного забезпечення
File(s) :
Except where otherwised noted, this item's license is described as Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International