Closure of a set of Attributes

Given a set of attributes A and a set of dependencies C,

we want to find all the other attributes that are functionally

determined by A.

In other words, we want to find the maximal set of attributes B,

such that for every B in B,

C entails A B.