Indeed. Our old discussions about &quot;omega-continuous semiring homomorphisms&quot; as the way to try to make something half-way between Dyna and the datalog bits I was working on have been very much present in my mind lately. =)