Nerekurzivní DATALOG

• Další možnosti:

• V(x,y) :- P(a,x), R(x,x,z), U(y,z)

• 1. a 2. krok:

• V(.,.) = (P(1=a)[2] * R(1=2)[1,3] * U)[.,.]

• Problém: v hlavě pravidla mohou být konstanty, resp. stejné proměnné, různé pořadí proměnných

• Požadavek na rektifikaci: transformace pravidel tak, aby hlavy se stejným predikátovým symbolem měly po řadě stejné proměnné