DBScholar

Back to papers

Convergence of Datalog over (Pre-) Semirings

Summary: Defines least‑fixpoint Datalog semantics over ordered semirings and analyzes convergence of iterative evaluation beyond Boolean/monotone cases. Characterizes algebraic semiring properties that guarantee convergence and isolates a class of ordered semirings supporting semi‑naive evaluation for all Datalog programs. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID
1867
Venue
PODS
Year
2022
Pagerank
8.3571843e-05
Overall Rank
2,600 | 82.17%
DOI
10.1145/3517804.3524140

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@inproceedings{khamis_pods22,
        address = {New York, NY, USA},
        series = {{PODS} '22},
        title = {{Convergence of Datalog over (Pre-) Semirings}},
        url = {https://dl.acm.org/doi/10.1145/3517804.3524140},
        doi = {10.1145/3517804.3524140},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Khamis, Mahmoud Abo and Ngo, Hung Q. and Pichler, Reinhard and Suciu, Dan and Wang, Yisu Remy},
        year = {2022}
}

Incoming Citations (Sorted by Pagerank)

Showing 13 of 13 citing papers.

Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 3 of 3 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
17 Provenance Semirings 2007 PODS 0.00059843817
358 FAQ: Questions Asked Frequently 2016 PODS 0.00020243592
4,290 Greedy by Choice 1992 PODS 6.7791707e-05
Previous Page 1 / 1 Next

Semantically Similar Papers