Relační algebra a DATALOG

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

• MŮŽE_KOUPIT(X,Y) 

• LÍBÍ_SE(X,Y) - (DLUŽNÍK(X)  LÍBÍ_SE(X,Y)[Y])

• EDB: LÍBÍ_SE(X,Y) osobě X se líbí předmět Y

• DLUŽNÍK(X) osoba X je dlužníkem

• označme DLUŽNÍK(X)  LÍBÍ_SE(X,Y)[Y] jako D_P_PÁR(X,Y).

• Pak dalogický program pro MŮŽE_KOUPIT je:

• JE_OBDIVOVÁN(y) :- LÍBÍ_SE(x,y)

• D_P_PÁR(x,y):-DLUŽNÍK(x), JE_OBDIVOVÁN(y)

• MŮŽE_KOUPIT(x,y) :- LÍBÍ_SE(x,y),  D_P_PÁR(x,y)