Relation between the calculus of functional dependence and calculus of proposition - Mateljan, Vladimir (Array, 2002)