Буй, Дмитро БорисовичПузікова, Анна Валентинівна2017-06-262017-06-262014Буй Д. Б. Незалежність аксіоматики функціональних залежностей Армстронга / Дмитро Борисович Буй, Анна Валентинівна Пузікова // Інтернет-Освіта-Наука-2014 : матеріали ІX Міжнародної науково-практичної конференції (Вінниця, 14-17 жовтня 2014 р.). – Вінниця : ВНТУ, 2014. – C. 54-55.https://dspace.cusu.edu.ua/handle/123456789/2584(uk) У роботі показано, що аксіоматика Армстронга щодо функціональних залежностей, яка складається з аксіоми рефлексивності та двох правил виведення, є незалежною в тому розумінні, що без втрати повноти не можна опустити ні єдину аксіому, ні жодне з правил виведення.(en) It is shown that Armstrong’s axiomatic system (as for the functional dependences of relational databases), which consist of the axiom of reflexivity and two inference rules is independent, i.e. completeness of Armstrong’s axiomatic system is violated if removed one of its components.ukArticle