ВВЕДЕНИЕ В СИСТЕМЫ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ


5НФ (Пятая Нормальная Форма) - часть 4


Включение

доказывается как в теореме Хеза. Такое включение выполняется всегда для любой декомпозиции отношения
.

Докажем включение

.

Пусть кортеж

. Это означает, что в проекции
содержится кортеж
, в проекции
содержится кортеж
, а в проекции
содержится кортеж
. По определению проекции, найдутся такие значения
,
,
атрибутов
,
и
соответственно, что отношение
содержит кортежи
,
и
. Но тогда по условию (ii) в отношении
содержится также и кортеж
. Этим доказано необходимое включение. Утверждение доказано.




Начало  Назад  Вперед



Книжный магазин