Functional Dependency Set Equivalence
Enter a schema (e.g., A,B,C,D) and two sets of functional dependencies. The tool will determine if the two FD sets are equivalent.
FDs format: A,B -> C; D -> E (or use A → C). Attributes can be optionally wrapped in braces, e.g., {A,B} -> {C}.
Use semicolons or newlines to separate FDs.
FDs format: A,B -> C; D -> E (or use A → C). Attributes can be optionally wrapped in braces, e.g., {A,B} -> {C}.
Use semicolons or newlines to separate FDs.