David Zhao has extended Soufflé to allow provenance tracking. A produced tuple can be explained via a proof tree. An Honours thesis has been submitted on this topic, available here. Slides for the corresponding talk can be found here