The Possibility of Applaying the Calculus of Functional Dependences to a Knowledge Base - Mateljan, Vladimir (Array, 2000)