From relation
to BCNF.
Follow the keys, closures, and lossless splits that turn a schema into Boyce–Codd normal form.
Your schema
Add one or more relations. Use comma-separated attributes and one dependency per line. Up to 12 attributes each.