Functional dependencies play a key role in database design and normalization. A functional dependency (FD) is a constraint that one attribute determines another. FDs have various definitions but generally mean that given the value of one attribute (left side), the value of another attribute (right side) is determined. Armstrong's axioms are used to derive implied FDs from a set of FDs. The closure of an attribute set or set of FDs finds all attributes/FDs logically implied. Normalization aims to eliminate anomalies and is assessed using normal forms like 1NF, 2NF, 3NF, BCNF which impose additional constraints on table designs.