Zad.
Dana jest tabela decyzyjna gdzie (a, b, c) to atrybuty warunkowe, a (d) to atrybut decyzyjny:

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

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