Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation"