التبعية الوظيفية (FD) هي مجموعة من القيود بين سمتين في العلاقة. تقول التبعية الوظيفية أنه إذا كان هناك مجموعتان لهما نفس القيم للسمات A1، A2،...، An، فيجب أن يكون لدى هذين الصفين نفس القيم للسمات B1، B2، ...، Bn.