Функциональные и многозначные зависимости между атрибутами.

Одним из методов проектирования БД является метод нормальных форм, основанный на понятии зависимости между атрибутами отношений. Существует три основных вида зависимостеймежду атрибутами:

· Функциональный.

· Многозначный.

· Транзитивный.

Атрибут В функционально зависит от атрибута А, если каждому значению А в точности соответствует одно значение В. Возможна функционально-полная зависимость, когда атрибут В зависит от всех составных частей атрибута А, представляющего собой составной ключ. Если атрибут В зависит от части атрибута составного ключа, то имеет место частичная функциональная зависимость. Обозначение: А→В.

Атрибут С зависит от атрибута А транзитивно, если для атрибутов А, В, С выполняются условия, что А→В, В→С, но обратная зависимость отсутствует.

Атрибут В многозначно зависит от атрибута А, если каждому значению А соответствует множество значений В. Виды многозначных зависмостей: