2021/05/30 by Mahmoud Abo Khamis, Khamis, Mahmoud Abo, Hung Q. Ngo +7 · 6 citations
Computer Science · Decision Sciences · #Constraint Satisfaction and Optimization #Databases (cs.DB) #FOS: Computer and information sciences #Fuzzy Logic and Control Systems #Fuzzy and Soft Set Theory
paper · pdf · doi:10.48550/arxiv.2105.14435
openalex publication_date 2021/05/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 polynomial time in the size of the input. But modern big data systems require recursive computations beyond the Boolean space. In this paper we study the convergence of datalog when it is interpreted over an arbitrary semiring. We consider an ordered semiring, define the semantics of a datalog program as a least fixpoint in this semiring, and study the number of steps required to reach that fixpoint, if ever. We identify algebraic properties of the semiring that correspond to certain convergence properties of datalog programs. Finally, we describe a class of ordered semirings on which one can use the semi-naïve evaluation algorithm on any datalog program.