Введение в системы управления базами данных
и только тогда, когда из
Определение 2
. Пусть
, 
- некоторые из его атрибутов (или непересекающиеся множества атрибутов).
Тогда атрибуты (множества атрибутов) 
многозначно зависят от 
), тогда и только тогда, когда из того, что в отношении 
и 
содержится также и кортеж к
Замечание. Меняя местами кортежи 
в определении многозначной зависимости, получим, что в отношении 
. Таким образом, атрибуты 
, многозначно зависящие от 
.
В отношении "Абитуриенты-Факультеты-Предметы" имеется многозначная зависимость Факультет
Словами это можно выразить так - для каждого факультета (для каждого значения из 
) сдает один и тот же список предметов (набор значений из 
) каждый сдаваемый на факультете экзамен (значение из 
). Именно наличие этой зависимости не позволяет независимо вставлять и удалять кортежи. Кортежи обязаны вставляться и удаляться одновременно целыми наборами.
Замечание. Если в отношении 
, 
и есть функциональная зависимость 
.
Действительно, действуя формально в соответствии с определением многозначной зависимости, предположим, что в отношении 
и 
отсюда следует, что 
в точности совпадает с кортежем 
. Таким образом, имеется многозначная зависимость 
Таким образом, понятие многозначной зависимости является обобщением понятия функциональной зависимости.
