hernpiblo

Wrong output for minimal cover

1

 Input used in screenshot: {A,C}->{A,D}, {C,D}->{B}, {C}->{B,D} Minimal cover output: {**_{A,C}→{D}_**,{C}→{B},{C}→{D}} The first Functional Dependency is redundant and should not be included in the output