Пошук академічних текстів

Інформація × Реєстраційний номер 0416U002212, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 28-04-2016 Статус Запланована Назва роботи Теорія нормалізації в табличних базах даних Здобувач Пузікова Анна Валентинівна, Керівник Буй Дмитро Борисович Опонент Глибовець Микола Миколайович Опонент Глушко Ірина Миколаївна Опис Робота присвячена аксіоматикам функціональних і багатозначних залежностей в табличних базах даних, а також нормальним формам з другої по четверту. Побудовано математичні доведення відомих класичних результатів в теорії реляційних баз даних про повноту аксіоматики Армстронга для функціональних залежностей і повноту аксіоматики для функціональних і багатозначних залежностей, які задовольняють стандартним вимогам строгості та повноти математичного доведення. Встановлено критерії повноти для кожної з аксіоматик. Доведена незалежність складових аксіоматики Армстронга. Побудована алгебра функціональних залежностей, операції якої визначені відповідно до складових аксіоматики Армстронга. Побудова цієї алгебри дозволяє формулювати результати щодо властивостей аксіоматики Армстронга на алгебраїчній мові. Побудовано фрагмент математичної теорії нормалізації щодо нормальних форм 2-4 порядків. На основі аналізу першоджерел та власних результатів встановлені логічні зв'язки між означеннями класичних та основних некласичних нормальних форм (НФ). Показана нееквівалентність двох означень проективно-з'єднувальної (PJ/NF) НФ, запропонованих Фейгіним (Ronald Fagin). Дата реєстрації 2016-04-28 Додано в НРАТ 2020-04-03 Закрити