Approximate Denial Constraints

Ester Livshits, Alireza Heidari, Ihab F. Ilyas, Benny Kimelfeld