FORMA NORMAL DE BOYCE-CODD (BCNF) Un esquema de relación, R, está en BCNF si y sólo si para todas sus dependencias funcionales elementales de la forma X →Y se verifica que X es una clave de R. En la figura se representa una tabla y todas sus dependencias funcionales elementales. En las dependencias entre Num_exp y Nombre_al, ambos atributos son de clave elemental (pues forman parte de alguna clave elemental) y, en las otras dos dependencias funcionales, los atributos de la izquierda son claves, por lo que la tabla está en EKNF.
No obstante, la tabla presenta la misma redundancia que la tabla anterior. Una forma de localizar este problema consiste en observar que la tabla no está en BCNF, lo que resulta sencillo al observar que ni Num_exp ni Nombre_al son claves. El problema de la redundancia puede evitarse dividiendo la tabla en las dos que se representan en la figura, las cuales verifican la BCNF.
Para que un esquema de relación esté en 3NF o en EKNF pero no en BCNF es preciso que existan dos claves que se solapen. Se demuestra que si una tabla está en BCNF también está en EKNF y que, si está en EKNF también está en 3NF. * En la definición original de Codd de 2NF y 3NF aparece el termino “clave” en el sentido de “clave principal” y “candidata a clave” en el de “clave”. En la actualidad, un atributo se considera “atributo de clave” si pertenece a una clave (clave principal) o a una candidata a clave (clave).