ALGEBRA RELACIONAL

Un algebra es un sistema matemtico constituido por: Operandos: objetos (valores o variables) desde los cuales nuevos objetos pueden ser construidos.

Operadores: simbolos que denotan nuevos objetos desde objetos dados.

El lgebra relacional consiste de algunas simples pero poderosas maneras de construir nuevas relaciones a partir de otras. Si pensamos que las relaciones iniciales son los datos almacenados entonces las nuevas relaciones se pueden ver como

respuestas a algunas consultas deseadas.

LOS OPERADORES
Operadores primitivos: Proyeccin () Seleccin () Unin () Diferencia (-) Producto Cartesiano (x)
Operadores derivados: Combinacin o Join () Interseccin ()

Divisin (:)
Se llama tupla a cada ``fila'' de una tabla, y es por supuesto un elemento del producto cartesiano de los dominios que dan nombre a las columnas ( atributos).

SELECCIN
Notacin: predicado (R) Selecciona tuplas que satisfacen un predicado dado Predicado: Operadores: (>;<;>=;<=;=;<>;^;v:) Operandos: atributos o constantes.

PROYECCION
Notacin: lista de atributos (R)
Es una tabla obtenida de R al eliminar los atributos no especiados. En la tabla resultante aparecen los atributos en el mismo orden que en la lista. Los renglones duplicados se eliminan

UNION (U)
Notacin: RS
Es la tabla que contiene las tuplas de la primera relacin adems de las tuplas de la segunda.

Al adaptar las operaciones de conjuntos a relaciones se debe asegurar

que exista compatibilidad entre ellas

DIFERENCIA (-)
Notacin: R-S Crea una tabla con las tuplas que estn en la relacin R pero no en S. Operacin valida entre relaciones compatibles.

PRODUCTO CARTESIANO (X)

Notacin: RxS
Permite combinar informacin de cualquier par de relaciones. RxS={tq|tr and qs} Si R y S tienen atributos en comn es necesario renombrarlos. Para evitar ambigedades se precede el nombre del atributo con el nombre de la relacin.

JOIN NATURAL

THETA JOIN

INTERSECCION ( )
Notacion: R S=R-(R-S) Relacin con las tuplas que estn en R y en S tambin.

Operacin valida entre relaciones compatibles.

DIVISION (:)
R1 : R2 = C(R1) - C(R2 x C(R1)-R1) La divisin de una relacin R1(dividendo) por otra relacin R2 (divisor) es una

relacin R (cociente) tal que, al realizarse su combinacin con el divisor, todas las
tuplas resultantes se encuentran en el dividendo.