Towards Hypothetical Reasoning Using Distributed Provenance. - Daniel Deutch; Yuval Moskovitch; Itay Polak; Noam Rinetzky (EDBT, 2018)