Классика баз данных - статьи
где номер является первичным ключом,
где номер является первичным ключом, и номер_менеджера
является внешним ключом. Обозначим активный домен через Δt
и предположим, что
Δt (номер_менеджера) ⊂ Δt
(номер)
и
Δt (имя_менеджера) ⊂ Δt
(имя)
в любой момент времени t. В этом случае избыточность очевидна: домен имя_менеджера не является необходимым. Чтобы убедиться в том, что эта избыточность является сильной избыточностью в соответствии с приведенным выше определением, заметим, что
π34 (служащий) = π12
(служащий)1|1π3(служащий).
Во втором примере набор отношений включает описывающее поставщиков отношение S с первичным ключом s#, описывающее отделы отношение D с первичным ключом d# и описывающее проекты отношение J с первичным ключом j#, а также следующие отношения:
P(s#, d#,...), Q(s#, j#,...), R(d#, j#,...),
где в каждом случае многоточие означает домены, отличающиеся от s#, d#, j#. Предположим, что удовлетворяется следующее не зависящее от времени условие C: поставщик s обслуживает отдел d (отношение P) тогда и только тогда, когда поставщик s обслуживает некоторый проект j# (отношение Q), который выполняется отделом d# (отношение R). Тогда мы можем записать соотношение
π12(P) = π12
(Q) · π21 (R)
и таким образом показать наличие сильной избыточности.
Важная причина существования сильной избыточности в множестве именованных связей заключается в удобстве для пользователя. Частным случаем ее применения является сохранение во множестве именованных связей полуустаревших связей для того, чтобы старые программы, ссылающиеся на них по имени, могли правильно выполняться. Наличие знаний о существовании сильной избыточности во множестве именованных отношений предоставляет администратору системы или базы данных большую свободу в выборе внутреннего представления для более эффективного управления текущей нагрузкой. Если сильная избыточность во множестве именованных отношений непосредственно отражается в сильной избыточности во множестве хранимых представлений (или если во множество хранимых представлений внесена дополнительная сильная избыточность), то, вообще говоря, могут потребоваться дополнительные внешняя память и время для выполнения операций обновления, с возможным замедлением выполнения некоторых запросов и увеличением нагрузки на центральный процессор.
