Relační algebra a DATALOG

• 3. E  E1 - E2

• e(x1,…,xn) :- e1(x1,…,xn),  e2(x1,…,xn)

• 4. E  E1[i1,…,ik]

• e(xi1,…,xik) :- e1(x1,…,xn),

• 5. E  E1  E2

• e(x1,…,xn+m) :- e1(x1,…,xn), e2(xn+1,…,xn+m)

• 5. E  E1()

• e(x1,…,xn) :- e1(x1,…,xn), xij= xik nebo xij= a

•  z nerekurzivity; topologické uspořádání + adomn - Q pro negaci. Pro každou P definovanou v IDB lze zkonstruovat výraz v AR . Dosazováním (podle uspořádání) obdržíme relační výrazy závisející jenom na relacích z EDB.