Definition, synonyms and related words
A functional dependency of an attribute on a superset of itself.