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.
Semiring frameworks and algorithms for shortest-distance problems
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Preservation theorems hold for all lattice semirings but fail for tropical, Viterbi, Łukasiewicz, and natural semirings, while existential preservation holds on finite interpretations for lattices unlike the Boolean case.
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.
-
Preservation Theorems in Semiring Semantics
Preservation theorems hold for all lattice semirings but fail for tropical, Viterbi, Łukasiewicz, and natural semirings, while existential preservation holds on finite interpretations for lattices unlike the Boolean case.