Hola
En realidad en el caso de que haya atributos en el esquema original que no participan de las dependencias funcionales no tiene sentido esta forma de obtener "una descomposición". No se llega a una descomposición tal como lo mostras en tu ejemplo. La idea es plantearse si se cumple la propiedad suponiendo que si llegamos a una descomposición. En tu ejemplo supone una nueva dependencia en F que involucre a C, F = { A -> B, C -> B } y en este caso la descomposición tiene un nuevo subesquema ρ = {(AB),(CB)}.
Saludos
En realidad en el caso de que haya atributos en el esquema original que no participan de las dependencias funcionales no tiene sentido esta forma de obtener "una descomposición". No se llega a una descomposición tal como lo mostras en tu ejemplo. La idea es plantearse si se cumple la propiedad suponiendo que si llegamos a una descomposición. En tu ejemplo supone una nueva dependencia en F que involucre a C, F = { A -> B, C -> B } y en este caso la descomposición tiene un nuevo subesquema ρ = {(AB),(CB)}.
Saludos