Una relación está en forma Boyce/Codd (FNBC) si,
siempre que existe una dependencia funcional no
trivial X → A, entonces X es una superclave.
Propiedades de las
descomposiciones relacionales
Preservación de dependencia
Preservación de atributo
Descomposición sin pérdida
Identificación de dependencias
funcionales redundantes
Dado un conjunto de dependencias
funcionales se desea poder sustituirlas por un
conjunto de DF equivalente pero más
pequeño.
Conjunto mínimo de
dependencias funcionales
El lado derecho de cada DF en F tiene
un solo atributo. Esta forma se conoce
como estándar o canónica para DF.
Ningún atributo en el lado izquierdo de
cualquier DF en F es extraña. Esto significa que,
si X → Y es una DF en F, entonces no hay
subconjunto propio S de X tal que S → Y se
pueda usar en lugar de X → Y y el conjunto
resultante es equivalente a F.