Text this: Integrity Constraints Revisited: From Exact to Approximate Implication