Функциональные зависимости используются в реляционных базах данных для наложения дополнительных ограничений на реляционную схему. 1
Основная идея заключается в том, что значением одного атрибута в кортеже однозначно определяется значение другого атрибута. 1 Например, в каждом кортеже фамилия однозначно определяется номером работника, а специальность — тоже. 1
Также соответствие по значению определённых атрибутов различных отношений базы данных, то есть зависимость их значений друг от друга, определяет показатели надёжности и корректности сохраняемых данных при их коллективном и согласованном использовании. 3
Однако не все функциональные зависимости желательны. 1 Избыточной называют зависимость, которая заключает в себе такую информацию, которую можно получить на основе других зависимостей, содержащихся в базе данных. 1 Схема базы данных без избыточных функциональных зависимостей считается корректной. 1 В противном случае прибегают к процедуре декомпозиции (разложения) имеющегося множества отношений. 2