Simplified Integrity Checking for an Expressive Class of Denial Constraints. - Martinenghi, Davide (Algorithms, 2025)