The possibility of applying the calculus of functional dependences to a knowledge base - Mateljan, Vladimir (Array, 2000)