Generalized Absorptive Polynomials and Provenance Semantics for Fixed-Point Logic

Katrin M. Dannert, Erich Grädel, Matthias Naaf +1

Semiring provenance is a successful approach to provide detailed information on the combinations of atomic facts that are responsible for the result of a query. In particular, inte…