datalog-fixpoint

Datalog bottom-up fixpoint iteration for recursive queries