Определение 2

· Атрибут A_k функционально зависит от множества атрибутов , еслидля любых элементов x, y ÎR Í A₁ ´ A₂ ´ ××× ´ A_n из равенства их компонент следует равенство .

· Если атрибут A_k функционально зависит от множества атрибутов , но не зависит функционально ни от какого строго содержащегося в нем подмножества , то A_k называется функционально полно зависящим от множества атрибутов .

· Множество атрибутов называется ключом записи файла, если для всех k Î{ 1, 2, ×××, n } атрибуты A_k функционально зависят от . Во множестве всех ключей можно отметить некоторые ключи. Эти ключи называются выделенными. Остальные – не выделенными.

· Первичным ключом называется произвольный выделенный ключ. Ключ, не являющийся первичным, называется возможным.

Определение 3. (2NF) Файл с первичным ключом находится во второй нормальной форме, если он находится в первой нормальной форме, и для любого атрибут A_k функционально полно зависит от атрибутов .

Поскольку множество записей для файла в первой нормальной форме совпадает с отношением, определенном этим файлом, то можно говорить о второй нормальной форме отношения.

Пример 2. В приведенной выше таблице определим первичный ключ как множество атрибутов {ВУЗ, Номер зачетки}. Год поступления зависит от номера зачетки. Поэтому зависимость года поступления от первичного ключа не является функционально полной. Стало быть, файл не находится во второй нормальной форме. Разобьем этот файл на два файла, находящиеся во второй нормальной форме. Первый файл не будет содержать года поступления