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

Question

У меня есть эта связь с этими зависимостями:

R(A,B,C,D,E,F,G,H) 
Fd1: A → B,C,D 
Fd2: A,D → E 
Fd3: E,F,G → H 
Fd4: F → G,H 

Мой вопрос: есть избыточная зависимость в этом наборе, и я хочу знать, как процесс идентификации этой избыточности идет. Ответ в соответствии с решениями - FD3, однако я понятия не имею, как это было достигнуто: может ли кто-нибудь объяснить это?

Answer 1

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

• Первого обеспечить одноточечно правый (RHS)
• Второго удалить любой посторонние левый (LHS) атрибут
• Третий удалить любого избыточная функциональная зависимость

Например: В ваших отношениях R -

Первый обеспечить singleton RHS. Так что теперь у нас есть -

A-> B
A-> C
A-> D
A-> E
EFG-> H
F-> G
F-> H

Второй мы удаляем любые посторонние атрибуты LHS. Существует только один FD, который имеет более одного атрибута LHS (EFG -> H). Если E ⁺ (E-замыкание) имеет F мы можем удалить F от FD и наоборот. Здесь F ⁺ имеет G поэтому мы удаляем G.

Третий Теперь мы можем проверить избыточные зависимости! Чтобы убедиться в том, что для каждого FD (X-> Y) мы удаляем эту зависимость и видим, можем ли мы до сих пор добраться до Y от X. Например, в нашем случае, когда мы скрываем FD EF -> H мы видим, мы все еще можем добраться до H из F с использованием последнего FD (F-> H). Поэтому мы можем удалить FD EF -> H.Так что теперь у нас есть -

A-> B
A-> C
A-> D
A-> E
F-> G
F-> H

Это минимальное покрытие.

Наконец, мы можем объединить FD с теми же LHS, чтобы мы, наконец, -

A-> BCDE
F-> GH

Это должен быть ваш окончательный ответ, который не будет иметь никаких избыточных зависимостей. В вашем случае, поскольку у вас есть , выберите один данных FD как избыточный, тогда FD3 будет ответом на то, на что мы его сведем.