Dependencias Multivaloradas -- Duda Teorica
Publicado por Lro (1 intervención) el 23/01/2008 19:41:02
Hola gente!! Una duda teórica para el q sepa:
Dependencias Multivaloradas, sabemos que vale la "transitividad"
1)Si A->>B y B->>Y => A->>Y-B
Pero en mi libro de DB tengo que también vale la regla de la unión para multivaloradas
2)A->>B y A->>C => A->>BC
Entonces, hipotesis: Valen A->>B y B->>Y
a) A->>Y-B por 1) aplicada a las hipotesis
b) A->>B por hipotesis
c) A->>Y por 2) aplicada a a) y b)
Entonces por c) deduzco que la transitividad vale pero sin restar, es decir A->>B y B->>Y => A->>Y
AHORA, si esto es asi porqué los libros no ponen la transitividad normal, y la ponene como en 1) restando
Gracias
LEo
Dependencias Multivaloradas, sabemos que vale la "transitividad"
1)Si A->>B y B->>Y => A->>Y-B
Pero en mi libro de DB tengo que también vale la regla de la unión para multivaloradas
2)A->>B y A->>C => A->>BC
Entonces, hipotesis: Valen A->>B y B->>Y
a) A->>Y-B por 1) aplicada a las hipotesis
b) A->>B por hipotesis
c) A->>Y por 2) aplicada a a) y b)
Entonces por c) deduzco que la transitividad vale pero sin restar, es decir A->>B y B->>Y => A->>Y
AHORA, si esto es asi porqué los libros no ponen la transitividad normal, y la ponene como en 1) restando
Gracias
LEo
Valora esta pregunta
0