5.7 Связь между функциональной зависимостью и полной
декомпозицией отношения
Соединение проекций отношения R по условию совпадения общих атрибутов
всегда является надмножеством исходного отношения. Иногда это истинное
надмножество, т. е. оно включает кортежи, которые отсутствовали в исходном
отношении (см. раздел 5.1). Однако, как мы имели возможность убедиться, иногда
удается подобрать полную декомпозицию, т. е. обеспечить возможность получения
точного исходного отношения путем соединения проекций. Критерий, гарантирующий
такую возможность, устанавливается теоремой Хита.
Пусть отношение R = (A, B, C) (A, B, C – возможно составные поля).
Теорема Хита (Heath): если A→B, то R = proj
A,B
R join proj
A,C
R.
Доказательство проведем от противного (чтобы доказать, что из P следует Q,
достаточно доказать, что из отрицания Q следует отрицание P). А именно, докажем, что
из факта R <> proj
A,B
R join proj
A,C
R следует, что B не зависит функционально от A.
Для краткости здесь и далее в доказательствах примем такую форму записи
операции проекции: proj
A,C
R = R[A,C].
Доказательство:
Предположим, что (a, b, c) R[A, B] join R[A, C], но (a, b, c) R. Тогда (a, b)
R[A, B], (a, с) R[A, С]. Следовательно, имеются (a, b, c‘) R и (a, b‘, c) R такие, что
c <> c‘, b <> b‘. Следовательно, отсутствует функциональная зависимость A → B.
Итак, доказано, что при наличии функциональной зависимости B от A проекции
R[A, B] и R[A, C] образуют полную декомпозицию R.
Еще один способ доказательства:
Пусть J→K и R1 = R[H,J] join R[J,K]. Возьмем произвольную запись из R: (h, j,
k). Очевидно, (h, j) R[H,J], (j,k) R[J,K]. Исходя из определения R1 и свойств
операции условного соединения, можно заключить, что (h, j, k) R1. Следовательно,
каждая запись R принадлежит R1.
Возьмем произвольную запись из R1: (h‘, j‘, k). Известно, что R1[H, J] = R[H, J]
(по определению R1). Следовательно, (h‘, j‘, k) R. Кроме того, R1[J, K] = R[J, K] (по
определению R1). Следовательно, (h, j‘, k‘) R. Т. к. по условию теоремы, J→K, то из
наличия записей (h‘, j‘, k) и (h, j‘, k‘) следует, что k=k‘. Следовательно, каждая запись
R1 принадлежит R. Следовательно, R1=R.
Рассмотрим иерархию степеней ―совершенства‖ свойств отношений. В этой
иерархии 5НФ является ―венцом совершенства‖ а остальные формы – приближением к
нему.
5.8 Первая нормальная форма (1НФ)
Отношение находится в 1НФ тогда и только тогда, когда ни одна из его
записей не содержит в поле более одного значения и ни одно из ключевых полей не
пусто.
Эта форма обладает наиболее общими чертами среди прочих нормальных форм
отношений. Любое отношение находится в 1НФ (согласно определению отношения,
см. выше). 1НФ не обеспечивает свободу от аномалий, связанных с несовершенной