Буй, Дмитро БорисовичПузікова, Анна Валентинівна2017-06-262017-06-262011Буй Д. Б. Повнота аксіоматики Армстронга / Дмитро Борисович Буй, Анна Валентинівна Пузікова // Вісник Київського національного університету імені Тараса Шевченка. Сер.: фіз.-мат. науки. – К. : Київський національний університет імені Тараса Шевченка, 2011. – № 3. – С. 103-108.https://dspace.cusu.edu.ua/handle/123456789/2568(uk) У статті наведено строге та повне доведення повноти аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних, яке наслідує традиції встановлення повноти в математичній логіці: введені відношення синтаксичного та семантичного слідування та показана їх збіжність. В якості математичного апарата використані властивості теоретико-множинної конструкції обмеження функції за множиною.ukаксіоматика Армстронгаповнотафункціональна залежністьреляційні бази данихArticle