Computing non-redundant sets of functional dependencies via simplification | Publicación