Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation