logo
Дискретная математика

Определение 1. (1nf) Файл находится в первой нормальной форме, если для него задано некоторое положительное целое число n и последовательность множеств (a1, , An) таких, что

Пример 1. Записи файла расположим в таблице1.2. В первой строке этой таблицы будут выписаны имена, обозначающие домены атрибутов. Эти имена мы будем называть атрибутами.

Таблица 1.2.

Пример набора записей

ВУЗ

Номер зачетки

ФИО

Год поступления

АмГПГУ

10802

Иванов Павел Сергеевич

2010

КнАГТУ

10802

Петрова Галина Сергеевна

2010

Данная таблица содержит две записи. Эти записи отличаются значениями первого и третьего атрибутов. Стало быть, файл, состоящий из этих записей, находится в первой нормальной форме.

Замечание. Мы видим, что записи в файле являются в точности элементами декартового произведения доменов атрибутов. Если файл находится в первой нормальной форме, то он является упорядоченным набором различных записей. В этом случае файл определяет отношение, состоящее из этих записей.

Вторая нормальная форма.Рассмотрим файл, находящейся в первой нормальной форме. Его записиx=(x1, , xn) A1 A2 Anбудут составлять некоторое отношениеR A1 A2 An. Файл будет состоять из всех элементов множестваR.