Повнота аксіоматики Армстронга
Дата
2011
Назва журналу
Номер ISSN
Назва тому
Видавець
Київський національний університет імені Тараса Шевченка
Анотація
(uk) У статті наведено строге та повне доведення повноти аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних, яке наслідує традиції встановлення повноти в математичній логіці: введені відношення синтаксичного та семантичного слідування та показана їх збіжність. В якості математичного апарата використані властивості теоретико-множинної конструкції обмеження функції за множиною.
Опис
Ключові слова
аксіоматика Армстронга, повнота, функціональна залежність, реляційні бази даних
Бібліографічний опис
Буй Д. Б. Повнота аксіоматики Армстронга / Дмитро Борисович Буй, Анна Валентинівна Пузікова // Вісник Київського національного університету імені Тараса Шевченка. Сер.: фіз.-мат. науки. – К. : Київський національний університет імені Тараса Шевченка, 2011. – № 3. – С. 103-108.