Boyce–Codd normalformen (BCNF) ble utviklet i 1974 av Boyce og Edgar Frank Codd . Det er en type normalform som brukes i databasenormalisering. Målet med relasjonsdatabasedesign er å generere en mengde med databaseskjemaer som lagrer informasjon uten unødvendig redundans. Boyce-Codd normalform er en måte å oppnå dette på samtidig som det fortsatt er mulig for brukere å reltativt enkelt hente ut informasjon. Ved å bruke BCNF vil en database fjerne all redundans basert på funksjonelle avhengigheter. Det er en litt sterkere versjon av den tredje normalform .