With recursive common table expressions it is really straightforward. You just have to manually stratify your datalog program to find out the order for the CTE.

With recursive common table expressions it is really straightforward. You just have to manually stratify your datalog program to find out the order for the CTE. And then you just write down all the rules. edit: As long as queries aren't recursive in a difficult manner, like co-recursive or have multiple recursive calls in the same rule.