A functional dependency A → B is a full functional dependency if removal of any attribute from A results in the dependency no longer existing. A functional dependency A → B is a partially dependency if there is some attribute that can be removed from A and yet the dependency still holds. An example of how a full functional dependency is derived from a partial functional dependency is presented in Example 13.3.