Transitive Closure and Minimal Cover for Functional Dependencies

Format: [LHS attribute 1], [LHS attribute 2], … -> [RHS attribute 1], [RHS attribute 2], …

All whitespace between attributes is ignored. Any comma-separated attribute name is allowed but it cannot contain the determines operator, ->. This program is case-sensitive. Blank lines and lines beginning with # are ignored.

Closure W.R.T. attributes:

Normal Form for Table:

Schema (R):

Transitive Closure:

Minimal Cover:

Minimal Cover (method 2):

Key (non-deterministic):

All keys:

Normal Form: