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