Query Languages

• Datalog

  p(X,Y) :- q(X,Z), r(Z,Y).
  

• First order logic

  p(X,f(Y)) :- q(X,g(Z)), r(Z,Y).
  

• Datalog?

  p(X,Y) :- q(X,Z), not (r(Z,Y)).
  

Previous slide

Next slide

Back to first slide

View graphic version