Forma normal boyce-codd

Una de las formas normales más deseables que podemos obtener es la forma normal Boyce-codd (BCNF). Un esquema de relaciones R esta BCNF con respecto a un conjunto F de dependencias funcionales si para todas las dependencias funcionales en F+ de la forma ->->b , donde  Í R y bÍ R, por lo menos se cumple de las siguientes condiciones:

->->b es una dependencia funcional trivial (es decir, bÍ  ).

es una superclave del esquema R. Un diseño de base de datos esta en BCNF si cada una de los miembros del conjunto de los esquemas de relación que comprende el diseño esta en BCNF.