The independence of the Armstrong's axiomatic system and algebra of functional dependencies - D. B. Bui; A. V. Puzikova (Artificial intelligence, 2015)