Введение в системы управления базами данных
Все виды услуг https://piter-gruzoperevozki.ru/ - доставка грузов по России          

Теорема (Фейджина)



Теорема (Фейджина)

. Пусть Теорема (Фейджина), Теорема (Фейджина).

Декомпозиция отношения Теорема (Фейджина) и Теорема (Фейджина).

Замечание. Если зависимость Теорема (Фейджина) или

Доказательство теоремы.

Необходимость. Пусть декомпозиция отношения Теорема (Фейджина) и Теорема (Фейджина).

Предположим, что отношение Теорема (Фейджина) и Теорема (Фейджина) также содержится в Теорема (Фейджина) содержится в Теорема (Фейджина) содержится в Теорема (Фейджина) содержится в естественном соединении Теорема (Фейджина). Необходимость доказана.

Достаточность. Пусть имеется многозначная зависимость Теорема (Фейджина) на проекции Теорема (Фейджина) является декомпозицией без потерь.

Как и в доказательстве теоремы Хеза, нужно доказать, что Теорема (Фейджина).

Включение Теорема (Фейджина).

Докажем включение Теорема (Фейджина). Это означает, что в проекции Теорема (Фейджина), а в проекции Теорема (Фейджина). По определению проекции, найдется такое значение Теорема (Фейджина), что отношение Теорема (Фейджина). Аналогично, найдется такое значение Теорема (Фейджина), что отношение Теорема (Фейджина). Тогда по определению многозначной зависимости кортеж Достаточность доказана.

Содержание раздела