Наукові видання каф-ри інформатики та інформаційних технологій
Постійне посилання зібранняhttps://dspace.cusu.edu.ua/handle/123456789/140
Переглянути
5 результатів
collection.search.results.head
Документ Незалежність аксіоматики Армстронга та алгебра функціональних залежностей(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Встановлюється незалежність складових аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних. Будується алгебра функціональних залежностей, операції якої визначаються відповідно до складових аксіоматики Армстронга.Документ Теорія нормалізації в реляційних базах даних: сучасний стан(2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Здійснено спробу охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Обговорено означення деяких класичних нормальних форм та основних некласичних нормальних форм. Показано нееквівалентність двох означень проективно-з’єднувальної нормальної форми, запропонованих Р. Фейгіним (R. Fagin). На основі аналізу першоджерел та власних результатів встановлено логічні зв’язки між означеннями класичних та основних некласичних нормальних форм.Документ Теорія нормалізації в реляційних базах даних (огляд)(2014) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна; Bui, D. B.; Puzikova, A. V.(uk) У даній роботі здійснена спроба охарактеризувати сучасний стан теорії нормалізації в реляційних базах даних. Розглядається еволюція класичних нормальних форм (а саме: першої-третьої нормальних форм, нормальної форми Бойса-Кодда, четвертої нормальної форми та проективно-з’єднувальної або п’ятої нормальної форми) та історичні спроби їх покращення. Наводяться різноманітні варіанти некласичних нормальних форм, зокрема, обговорюється концепція доменно-ключової нормальної форми.Документ Деякі некласичні нормальні форми в реляційних базах даних(Київський національний університет імені Тараса Шевченка, 2015) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) Обговорюються означення деяких класичних нормальних форм та основних некласичних нормальних форм. Показана нееквівалентність двох означень проективно-з’єднувальної нормальної форми, запропонованих Фейгіним. На основі аналізу першоджерел та власних результатів встановлені логічні зв’язки між означеннями класичних та основних некласичних нормальних форм.Документ Повнота аксіоматики Армстронга(Київський національний університет імені Тараса Шевченка, 2011) Буй, Дмитро Борисович; Пузікова, Анна Валентинівна(uk) У статті наведено строге та повне доведення повноти аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних, яке наслідує традиції встановлення повноти в математичній логіці: введені відношення синтаксичного та семантичного слідування та показана їх збіжність. В якості математичного апарата використані властивості теоретико-множинної конструкції обмеження функції за множиною.