Od DRK k relační algebře

• Př.: w,x R(w,x) y(S(w,y) S(x,y))je definitní výraz.

• Zdůvodnění: dom(S(w,y) S(x,y)) = dom(S)

• Nechť y0 dom(S). PakS(w,y0) S(x,y0)TRUE.

• Tedy je splněna podmínka 3 z upřesnění definice defin. form.

• Eliminací a  obdržíme definitní výraz:

• w,xR(w,x) y(S(w,y) S(x,y))

• Transformace:

• S(w,y) S(x,y)  (SE)1,3,2 (SE)3,1,2

• y ( -”- ) ( -”- ) 1, 2 označme jako E’

• Pz.: E’ jde optimalizovat na (SE)1,3 (SE)3,1

• R(w,x) E2 - R

• R(w,x) y(S(w,y)S(x,y) E2 - R) E’

•  ( -”- )E2 E2 - R) E’)