Given functional dependencies of the type a ® b, check if there is any extraneous attribute in a.