lgebra relacional El lgebra relacional es un conjunto de operaciones que describen paso a paso como computar una respuesta sobre

las relaciones, tal y como stas son definidas en el modelo relacional. Denominada de tipo procedimental, a diferencia del Clculo relacional que es de tipo declarativo. Describe el aspecto de la manipulacin de datos. Estas operaciones se usan como una representacin intermedia de una consulta a una base de datos y, debido a sus propiedades algebraicas, sirven para obtener una versin ms optimizada y eficiente de dicha consulta. Tuplas Una tupla se define como una funcin finita que asocia unvocamente los nombres de los atributos de una relacin con los valores de una instanciacin de la misma. En trminos simplistas, es una fila de una tabla relacional. Unin compatible Una unin es compatible entre dos relaciones R, S, si ellas poseen el mismo grado y el dominio del mismo elemento de la relacin R es el mismo que el iesimo elemento de la relacin S. Grado (Aridad) Nmero de atributos. Las operaciones bsicas Cada operador del lgebra acepta una o dos relaciones y retorna una relacin como resultado. y son operadores unarios, el resto de los operadores son binarios. Las operaciones bsicas del lgebra relacional son: y Seleccin ( ) Permite seleccionar un subconjunto de tuplas de una relacin (R), todas aquellas que cumplan la(s) condicin(es) P, esto es: y Proyeccin ( ) Permite extraer columnas (atributos) de una relacin, dando como resultado un subconjunto vertical de atributos de la relacin. y Producto cartesiano (x) El producto cartesiano de dos relaciones se escribe como: y entrega una relacin, cuyo esquema corresponde a una combinacin de todas las tuplas de R con cada una de las tuplas de S, y sus atributos corresponden a los de R seguidos por los de S. y Unin ( ) La operacin Retorna el conjunto de tuplas que estn en R, o en S, o en ambas. R y S deben ser uniones compatibles. y Diferencia (-) La diferencia de dos relaciones, R y S denotada por: entrega todas aquellas tuplas que estn en R, pero no en S. R y S deben ser uniones compatibles.