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