Relation Betweem the Calculus of Functional Dependence and Calculus of Proposition - Mateljan, Vladimir (Array, 2002)