1.Describe a linear-time (in the size of the set of FDs, where the size of each FD is the number of attributes involved) algorithm for ?nding the attribute closure of a set of attributes with respect to a set of FDs. Prove that your algorithm correctly computes the attribute closure of the input attribute set.