Контрольная работа: Информационные системы 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
|