Введение в системы управления базами данных

         

Теорема (Хеза)



Теорема (Хеза)

. Пусть Теорема (Хеза) - атрибуты или множества атрибутов этого отношения. Если имеется функциональная зависимость Теорема (Хеза) и

Доказательство. Необходимо доказать, что Теорема (Хеза). В левой и правой части равенства стоят множества кортежей, поэтому для доказательства достаточно доказать два включения для двух множеств кортежей: Теорема (Хеза).

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

Докажем обратное включение. Возьмем произвольный кортеж Теорема (Хеза). По определению естественного соединения получим, что в имеются кортежи Теорема (Хеза). Т.к. Теорема (Хеза), такое что кортеж Теорема (Хеза), такое что кортеж Теорема (Хеза) и Теорема (Хеза), равное Теорема (Хеза), следует, что Теорема (Хеза). Обратное включение доказано.

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