Reformulating table constraints using functional dependencies-an application to explanation generation
scientific article; zbMATH DE number 5319291