Dana jest tabela decyzyjna gdzie (a, b, c) to atrybuty warunkowe, a (d) to atrybut decyzyjny: U
a
b
c
d
1
0
1
0
0
2
0
0
0
1
3
0
0
1
0
4
1
0
1
1,0
5
0
1
1
0
6
1
1
1
1
Wyznaczyć rdzeń i redukty B = { a, b, c }
U/IND(B) = { {1}, {2}, {3}, {4}, {5}, {6} }
U/IND((B) - a) = { {1}, {2}, {3, 4 } {5, 6}}
→ U/IND(B) → a niezbędny U/IND((B) - b) = { {1, 2}, {3, 5}, {4, 6} } → U/IND(B) → b niezbędny U/IND((B) - c) = { {1, 5}, {2, 3}, {4}, {6} } → U/IND(B) → c niezbędny (core(B) = {a, b, c} ← wyznaczony rdzeń a b c
U/IND(B1) = U/IND(B) B1 → warunek 1
OK!
(Są niezależne, ponieważ wszystkie atrybuty są niezbędne) B2 → warunek 2
OK!
(Dzieli zbiór, ponieważ wszystkie atrybuty w zbiorze są takie same) Red(B1) = { {a, b, c} } ← wyznaczone redukty