In the sigma module, several repair engines can be found to fix errors in data. One of these engines, the Parker engine, has the ability to fix violations of sigma rules and partial keys in one go. The combination of these two constraint types provides a rich formalism to enforce constraints. Yet, repairing them can still be done using the set-cover approach, albeit in a modified version.
This is the main conclusion of a research cooperation of the DDCM lab with prof. Maribel Acosta (RUB, Germany) and the results are now available on arxiv. Some examples on how the Parker engine can be used can be found in the example folder on gitlab.