Снижение функциональной зависимости

Question

Я должен найти минимальное прикрытие для этого набора FD. Пожалуйста, дайте мне знать, если мой ответ правильный.

1. XZ-> Z
2. XZ-> Y
3. XZ-> B
4. ya-> C
5. ya-> G
6. C-> W
7. B-> G
8. XZ-> G

Мой ответ:

1. X-> Z (удаленный атрибут Z, тривиальное FD)
2. Z-> Y (удалено X, поскольку оно влечет за собой X-> Z-> Y из 1.)
3. Z-> B (здесь тоже самое)
4. ya-> C
5. ya-> G
6. C-> W
7. B-> G
8. (удалено, поскольку X-> Z-> B-> G)

Answer 1

Мне кажется, что первое неверно:

• XZ->Z ничего не значит, поскольку XZ содержит Z, поэтому оно тривиально.

Answer 2

X-> Z (удаленный атрибут Z, тривиальное FD)

Тривиальная часть XZ-> Z есть Z-> Z. Я не думаю, что вы можете получить X-> Z из XZ-> Z.

Если №1 ошибочен, то №2 и №3 тоже неверны.

Числа 4-7 в вашем ответе верны. (Ваш ответ, который находится внутри вашего вопроса, то есть.)

Из вашего комментария к Цзяо Вэй,

1. XZ-> Y 2. XZ-> B 3. YA-> C 4. A-> G 5. C-> W 6. B-> G

Номер 4 не так. Исправьте это, и вы нашли минимальное покрытие. Кроме того, вы сказали

Я просто не понимаю, можно ли удалить Y из 4. Если Смысл вытекает из XZ.

Если вы опубликуете свои рассуждения - как вы вывели A-> G из XZ-> Y и YA-> C - тогда кто-то, вероятно, может показать вам, где ваши рассуждения сбились с пути.