A functional dependency X Y is full functional dependency if removal of any attribute
A from X means that the dependency does not hold any more.