Проверка, находится ли функциональная зависимость в замыкании

Question

R = (A, B, C, D, E, F, G)

Функциональные зависимости:
A → B
BF → C
AB → F
D → E

Какие из следующих FD находятся в F + (замыкание F)?Выберите все правильные ответы.

• A → F
• DF → E
• B → E
• A → G
• ABC → C

---

Мы узнали об использовании рефлексивности и дополнения, чтобы проверить, есть ли они в F +, но я не могу найти их в F +, и мне интересно, делаю ли я этонеправильно

Answer 1

Как найти, содержится ли функциональная зависимость X → Y в замыкании F + набора функциональных зависимостей F?Самый простой способ - это вычислить X + (замыкание набора атрибута X относительно F) и посмотреть, содержится ли Y в таком замыкании.

Например, чтобы увидеть, находится ли A → F в F +, мы вычисляем замыкание A, A + следующим образом:

A+ = A
A+ = AB (since A→B)
A+ = ABF (since AB→F)

и, поскольку F принадлежит A + ={ABF}, мы знаем, что A → F находится в F +.

Этот тест должен быть выполнен для всех оставшихся зависимостей.