Zad.

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