Первая НФ. Переменная отношение находится в 1НФ тогда и только тогда, когда в любом допустимом значении этой переменной-отношения каждый её кортеж содержит только одно значение для каждого из атрибутов.
Это определение говорит о том, что все переменные отношения находятся в 1НФ. Однако, переменная отношения в 1НФ обладает структурой., которая желательна по ряду причин.
Предположим, что вся информация, касающаяся поставщиков и поставок содержится не в двух, а в одном отношении FST. При этом введем еще одну функциональную зависимость CITY à STATUS, то есть статус поставщика определяется городом (т.е. местонахождением). Например, все поставщики в Лондоне имеют статус 20.
Атрибут SNAME – для простоты опустим.
FST
S# | CITY | STATUS | P# | QTY |
S1 | London | P1 | ||
S1 | London | P2 | ||
S1 | London | P3 | ||
S1 | London | P4 | ||
S1 | London | P5 | ||
S1 | London | P6 | ||
S2 | Paris | P1 | ||
S2 | Paris | P2 | ||
S3 | Paris | P2 | ||
S4 | London | P2 | ||
S4 | London | P4 | ||
S4 | London | P5 |
Таблица 1.
Диаграмма переменной-отношения FST будет иметь вид представленный на рисунке 1.
Рис. 1. Функциональные зависимости в переменной отношений FST.
{S#, P#} à CITY
{S#, P#}à STATUS
S#, P# не являются приведенными
CITY не приведен, зависит от S#, а не от всего ключа.
Как видно из диаграммы не все условия 3НФ соблюдаются:
1. не все неключевые атрибуты взаимно-независимы (CITY и STATUS)
2. не все неключевые атрибуты неприводимо (фнкционально-полно) зависимы о первичного ключа
STATUS и CITY каждый в отдельности неприводимо зависит от части ключа S# а не от всего ключа {S#, P#}
Эта структура нежелательна.