Mensajes

Buenas tardes a todos, tengo un ejercicio de álgebra relacional que ya he resuelto pero no estoy seguro si está completamente bien resuelto.
Es el siguiente:

Ejercicio. Se pide conocer el nombre de los Proveedores que han suministrado artículos de color rojo y verde dadas las siguientes tablas:

PROVEEDORES(#Cod_Prov, Nombre, Ciudad, Calle, Número)
ARTÍCULOS(#Cod_Art, Nombre_a, Precio, Descr, Color)
PEDIDOS(#Cod_Prov, #Cod_Art, Cantidad)

*Para la realización del ejercicio se prohíbe el uso de condiciones complejas en las selecciones, es decir, se permiten operaciones como σ(nombre=Federico)(PERSONAS) pero está prohibido usar expresiones del tipo σ(nombre="Federico" ⋀ ciudad="Madrid")(PERSONAS).

Mi solución es la siguiente:
πNombre(Proveedores *(σCOLOR='ROJO'(Artículos)) ∩ πNombre(Proveedores *(σCOLOR='VERDE'(Artículos))
Espero que alguien pueda ayudarme, un saludo.