Relační algebra a DATALOG

• Př.: vytvoření relačního výrazu z programu

• EDB: R*, S*, adom  R[X]  R[Y]  S

• P(x) :- R(x,y), S(y)

• Q(z) :- S(z), P(z)

• P(X)  (R(X,Y) * {adom - S}(Y))[X]

• Q(Z)  S(Z) * {adom - P}(Z)  (S  {adom - P})(Z)

• Protože S  adom, platí Q(Z)  S(Z) - P(Z). Po substituci za P

• Q(Z)  S(Z) - (R(Z,Y) * {adom - S}(Y))[Z]

• Pz.: adom lze nahradit R[Y]

• Pz.: logicky program vede k jedné výsledné relaci.

• Obecněji: více (nezávislých) relací  více relačních výrazů