Rekurzivní DATALOG

• Př.:

• POD_NAD(x,y):-PRACUJE_PRO(x,y)

• POD_NAD(x,y):-PRACUJE_PRO(x,z ), POD_NAD(z,y)

• v EDB je relace PRACUJE_PRO(Jméno_z,Vedoucí)

• Platí:

• PRACUJE_PRO  POD_NAD

• (PRACUJE_PRO * POD_NAD)[1,3]  POD_NAD