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

• E b1,...,bk | b1,...,bk) (b1,...,bk), resp. ,

• E b1,...,bk | b1,...,bk)  2(b1,...,bk)

• pro

• E b1,...,bk bk+1,...,bk+m | (b1,...,bk) 2( bk+1,...,bk+m)

• !! pak následuje transformace do DNF.

• b) E E1() a obsahuje buď = nebo 

• E b1,...,bk |b1,...,bk) b1,...,bk)