Redirecting to Boyce-Codd normal form