Dotaz na tranzitivní uzávěr (7)

• c) E E1S

• Budeme uvažovat projekci odstraňující jeden atribut

• jde o posloupnost permutací proměnných a eliminaci poslední komponenty

• eliminace bk vede k

• b1,...,bk-1|  bk b1,...,bk)kde  je v DNF

• podle a) ..

• i=1..mb1,...,bk-1 |bki(b1,...,bk)

• budeme eliminovat  z jednoho konjunktu

• v i není bk=ai, bi =bk +c, bk=bi +c

• b1,...,bk-1 ib1,...,bk-1)

• kde i neobsahuje bkai , bi bk +c, bk bi +c