For insert-only IVM of self-join-free conjunctive queries over semirings without additive inverses (natural, provenance, covariance, tropical), amortized constant update time plus constant delay holds iff the query is α-acyclic p-hierarchical.
Convergence of datalog over (Pre-) Semir- ings
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
Finite functional programming unifies functional and logic programming by treating predicates as finitely supported functions represented as data, with a type system for checking support using graded effects and relevance types.
Presents a compilation method that turns polymorphic semiringKanren programs into equivalent non-polymorphic ones via equality patterns and sufficiently large relation instances, together with a correctness proof.
citing papers explorer
-
The Role of Semirings in Incremental View Maintenance
For insert-only IVM of self-join-free conjunctive queries over semirings without additive inverses (natural, provenance, covariance, tropical), amortized constant update time plus constant delay holds iff the query is α-acyclic p-hierarchical.
-
Finite Functional Programming
Finite functional programming unifies functional and logic programming by treating predicates as finitely supported functions represented as data, with a type system for checking support using graded effects and relevance types.
-
Polymorphic Bottom-Up Weighted Relational Programming
Presents a compilation method that turns polymorphic semiringKanren programs into equivalent non-polymorphic ones via equality patterns and sufficiently large relation instances, together with a correctness proof.