t is based on concept of full functional dependency. 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.