@eugaia , I thought about it as well. This can be done but there is no direct way of knowing how many updates have been made to a predicate since timestamp ts.
One option could be to iterate Phase 1 for some constant number of times (say 3) and then move to phase 2.
This would add some complexity and maybe edge cases to the solution. I don’t think it is worth the complexity.
1 Like