Provenance for query results has been extensively studied, with multiple models and applications [1]}, [2]}, [3]}, [4]}, [5]}, [6]}, [7]}, [8]}, [9]}, [10]}, [11]}, [12]}, [13]}.
Specifically, as discussed above the shape of the Boolean provenance may depend on the used data model (e.g., relational, graph databases, nested data) and query language (positive relational algebra, difference, Datalog). This, in turn, may affect the problem analysis, as we have shown for monotone Boolean provenance yielded by queries without negation.
