Zależności funkcyjnych

[Ola00]

Dla podanych zależności funkcyjnych, napisz ciągi wyprowadzeń (dla podanego poniżej
schematu relacyjnego): AD → E; DG → C; AD → H.
R = (U, F) = ({A, B, C, D, E, G, H}, {AD → C, D → B, CB → E, CE → GH, H → A}).

[uziom]

Dla podanego schematu relacyjnego R = (U, F) = ({A, B, C, D, E, G, H}, {AD → C, D → B, CB → E, CE → GH, H → A}), ciągi wyprowadzeń dla zależności funkcyjnych AD → E; DG → C; AD → H to:

AD → C (dane)
AD → B (prawa strona D → B, podstawiamy AD z lewej strony)
CB → E (dane)
CBE → GH (prawa strona CE → GH, podstawiamy CB z lewej strony)
AD → GH (łączymy powyższe dwa kroki)
AD → E (prawa strona AD → C, podstawiamy GH z lewej strony, następnie prawa strona CBE → E, podstawiamy AD z lewej strony)
Stąd, ciąg wyprowadzeń dla AD → E to: AD → GH → E.

DG → C (dane)
D → B (dane)
BG → C (prawa strona CB → E, podstawiamy D z lewej strony)
DG → B (łączymy powyższe dwa kroki)
DG → H (prawa strona H → A, podstawiamy B z lewej strony, następnie prawa strona AD → C, podstawiamy DG z lewej strony)
DG → A (prawa strona H → A, podstawiamy DG z lewej strony)
Stąd, ciąg wyprowadzeń dla DG → C to: DG → B → BG → C.

AD → C (dane)
H → A (dane)
AD → A (prawa strona AD → C, podstawiamy H z lewej strony)
AD → H (prawa strona AD → C, podstawiamy A z lewej strony)
Stąd, ciąg wyprowadzeń dla AD → H to: AD → A → H.