Formalmente, un esquema de relación formula_38 está en FNBC, si y sólo si, para toda dependencia funcional formula_39 válida en formula_38, se cumple que