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.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
fields
cs.DB 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Determination provenance models tuple supports as elements of a commutative semiring under layered resolutions, inducing a filtration that positive relational algebra respects and that unifies isolation levels with negation semantics.
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.
-
Determination Provenance: From Ambiguity to Algebra
Determination provenance models tuple supports as elements of a commutative semiring under layered resolutions, inducing a filtration that positive relational algebra respects and that unifies isolation levels with negation semantics.