4 Pokrycia i równoważność zbiorów zależności funkcyjnych

4
Pokrycia i równoważność zbiorów zależności funkcyjnych
Zadanie 4.1 Niech F = {AB → C, B → D, CD → E, CE → GH, G → A}. Napisz ciągi wyprowadzeń RAP dla następujących zależności funkcyjnych: AB → E, BG → C, AB → G.
Zadanie 4.2 Sprawdź, czy zbiory zależności funkcyjnych F1 i F2 są równoważne na U = {A, B, C, D, E}.
(a) F1 = {A → DE, B → CD, CD → E, E → D}
F2 = {A → E, B → CE, BC → DE, CD → E, E → D}.
(b) F1 = {A → DE, B → D, E → D}
F2 = {BC → D, E → D, AC → E}.
Dla równoważnych zbiorów zależności wyznacz zbiory E F1 oraz E F2 .
Zadanie 4.3 Niech F = {A → DE, AB → D, B → CE, BC → DE, CD → E, E → D}. Wyznacz
1. nienadmiarowe pokrycie dla F ,
2. pokrycie dla F zredukowane z lewej strony,
3. pokrycie dla F zredukowane z prawej strony,
4. zredukowane pokrycie dla F ,
5. kanoniczne pokrycie dla F .