Se dice que el atributo formula_15 es completamente dependiente de formula_14 si depende funcionalmente de formula_14, y no depende de ningún subconjunto propio de formula_14.