У статті наведено строге та повне доведення повноти аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних, яке наслідує традиції встановлення повноти в математичній логіці: введені відношення синтаксичного та семантичного слідування та показана їх збіжність. В якості математичного апарата використані властивості теоретико-множинної конструкції обмеження функції за множиною.
This paper presents a rigorous and convincing proof of completeness of Armstrong"s axiomatic system (asfor the functional dependences of relational databases) within the paradigm of mathematical logic: the relations of syntactic and semantic entailment are introduced and it is shown that they coincide. The properties of set-theoretic function restrictionhave been used as mathematical framework.
