On the Convergence Rate of Linear Datalogo over Stable Semirings

Sungjin Im, Benjamin Moseley, Hung Ngo +1

Datalogo is an extension of Datalog, where instead of a program being a collection of union of conjunctive queries over the standard Boolean semiring, a program may now be a collec…