Definíció
Legyen R(A) relációséma, X,Y ⊆ A, és X→Y. Azt mondjuk, hogy X-től teljesen függ Y, ha X-ből bármely attribútumot elhagyva a függőség már nem teljesül, vagyis bármely X1 ⊂ X esetén X1 →Y már nem igaz.
Megjegyzés: Ha K kulcs, akkor A teljesen függ K-tól.