Контрольная работа: Информационные системы 6

Теорема 6

Если А ->В и ВС ->D, то АС -* D.

Доказательство

Из А -> В следует АС -> ВС (теорема 5). ВС -> D (условие), поэтому АС—> D по теореме 3.

Вторая и третья нормальные формы отношений

Отношение имеет вторую нормальную форму (2НФ), если оно соответствует 1НФ и не содержит неполных функциональных зависимостей.

Неполная функциональная зависимость - это две зависимости:

· вероятный ключ отношения функционально определяет некоторый неключевой атрибут,

· часть вероятного ключа функционально определяет этот же неключевой атрибут.

Отношение, не соответствующее 2НФ, характеризуется избыточностью хранимых данных.

Например:

Т4
Магазин Изделие Цена План_1999_г.
Салют М22 50 200
Салют К14 40 100
АТЭ М22 50 300
АТЭ Т62 60 100

Функциональные зависимости отношения Т4:

Избыточность иллюстрируется тем фактом, что цена изделия указывается столько раз, сколько магазинов продают это изделие (изделие М22 в Т4). Переход к 2НФ и соответственно устранение отмеченной избыточности данных связано с созданием двух отношений вместо исходного отношения Т4.

Т41
Магазин Изделие План_1999_г.

Салют

Салют

АТЭ

АТЭ

М22

К14

М22

Т62

200

100

300

100

Т42
Изделие Цена

М22

К14

Т62

50

К-во Просмотров: 204
Бесплатно скачать Контрольная работа: Информационные системы 6