Possibilistic provenance

Provenance calculus based on two operations forming a semiring, enables the combination and propagation of annotations associated with data. This note emphasizes the point that this calculation, if based on max and min operations, exactly corresponds to query evaluation when data are labeled with levels of certainty in the sense of possibility theory.