BCNF (Boyce-Codd Normal Form) is a stricter version of 3NF. If a relation is in BCNF, it automatically satisfies all requirements of 3NF, 2NF, and 1NF. BCNF eliminates all redundancy caused by functional dependencies, making it the highest practical normal form for most database designs.