Convergence of Datalog over (Pre-) Semirings

Mahmoud Abo Khamis, Hung Q. Ngo, Reinhard Pichler +2

Recursive queries have been traditionally studied in the framework of datalog, a language that restricts recursion to monotone queries over sets, which is guaranteed to converge in…