Only in Datalog

Recursive queries:

Path( X, Y ) :- Edge( X, Y )

Path( X, Y ) :- Path( X, Z ), Path( Z, Y ).

A query is recursive if there is a cycle in the dependency graph of the predicates.

Previous slide

Next slide

Back to first slide

View graphic version