Таблица1.
|
№ |
Функциональные зависимости |
Основание |
|
1 |
2 |
3 |
|
|
ABC |
Дано |
|
|
KBCED |
Дано |
|
|
AKED |
Псевдотранзитивность из (1) и (2) |
|
|
AKD |
Декомпозиция (3) |
Задание 2.2
|
Исходное множество |
Вывести |
|
AC, ACED |
ADE |
Требуется установить, что функциональная зависимость ADE следует из множества функциональных зависимостей {AC, ACED}. Вывод приведен ниже в таблице 2. Проведем декомпозицию отношения (2) и пополнение отношения (1), декомпозицию отношения (4). По аксиоме псевдотранзитивности, если XY , WYZ то WXZ. Т.к. ADС и AСЕ , следовательно ADE .
Таблица2.
|
№ |
Функциональные зависимости |
Основание |
|
1 |
2 |
3 |
|
|
AC |
Дано |
|
|
ACED |
Дано |
|
|
AСЕ |
Декомпозиция(2) |
|
|
ADСD |
Пополнение (1) |
|
|
ADС |
Декомпозиция (4) |
|
|
ADE |
Псевдотранзитивность из (3) и (5) |