Provenance Analysis and Semiring Semantics for First-Order Logic

Erich Grädel, Val Tannen

A provenance analysis for a query evaluation or a model checking computation extracts information on how its result depends on the atomic facts of the model or database. Traditiona…