Một thuộc tính được gọi là phụ thuộc hàm đầy đủ vào thuộc tính khác, nếu nó phụ thuộc hàm vào thuộc tính đó và không phụ thuộc vào bất kỳ tập con chính xác nào của nó.
Ví dụ, thuộc tính Q phụ thuộc hàm đầy đủ vào thuộc tính P, nếu nó phụ thuộc hàm vào P và không phụ thuộc vào bất kỳ tập con chính xác nào của P.
Ví dụ minh họa:
<ProjectCost>
| ProjectID | ProjectCost |
| 001 | 1000 |
| 001 | 5000 |
<EmployeeProject>
| EmpID | ProjectID | Days |
| E099 | 001 | 320 |
| E056 | 002 | 190 |
Các quan hệ trên cho thấy:
| EmpID, ProjectID, ProjectCost → Days |
Tuy nhiên, đây không phải là phụ thuộc hàm đầy đủ.
Trong khi tập con {EmpID, ProjectID} có thể dễ dàng xác định {Days} dành cho dự án bởi nhân viên.
Điều này tóm tắt và cho ta phụ thuộc hàm đầy đủ:
| {EmpID, ProjectID} → (Days) |