Convergence of Datalog over (Pre-) Semirings
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929222457491456 |
|---|---|
| author | Khamis, Mahmoud Abo Ngo, Hung Q. Pichler, Reinhard Suciu, Dan Wang, Yisu Remy |
| author_facet | Khamis, Mahmoud Abo Ngo, Hung Q. Pichler, Reinhard Suciu, Dan Wang, Yisu Remy |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2105_14435 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Convergence of Datalog over (Pre-) Semirings Khamis, Mahmoud Abo Ngo, Hung Q. Pichler, Reinhard Suciu, Dan Wang, Yisu Remy Databases 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. |
| title | Convergence of Datalog over (Pre-) Semirings |
| topic | Databases |
| url | https://arxiv.org/abs/2105.14435 |