Estoy estudiando la álgebra relacional, pero para mi las cuantificadores plantean algunas dificultades. En efecto en los ejercicios encontrados, no fue capaz expresar al menos, hacer una diferencia con solamente, ∀...
Por ejemplo:
Tengo tres base de datos
Gusta(Persona, Tema)
,Estudia(Persona, Tema)
,Odia(Persona,Tema)
. ¿Cómo expresar en álgebra relacional las personas que gustan solamente dos temas?...
¿Cómo expresar en álgebra relacional las personas que odian todos los temas que Charles gusta?
...
“ρTema2/Tema(πPersona=Charles(Gusta))” nos da la misma tabla, pero con temas que Charles gusta renombrada a Tema2.
hacemos una "unión natural" entre la tabla original y las de las personas que odian: “Odia ⋈ ρTema2/Tema(πPersona=Charles(Gusta))
- filtramos cuando se trata del mismo tema: “σTema=Tema2(Gusta ⋈ ρTema2/Tema(Gusta))”
- quedan las tuplas con temas equivalente.
πPersona(σTema=Tema2(Gusta ⋈ ρTema2/Tema(Gusta)))?
Con dos base de datos
Préstamo(Persona, Libro, FechaPréstamo, FechaRetornoEsperado, FechaRetornoEfectivo)
,Retraso(Persona, Libro, FechaPréstamo,Pena)
¿Cómo expresar en álgebra relacional las personas que acudiesen todos los libros?
... πPersona(πLibro(Préstamo)?
No estoy seguro de mis intentos...
Por eso, esto me da cuenta que no tengo ninguna problema con la álgebra relacional excepto por los cuantificadores
Entonces, ¿Tiene usted un método?