Está en la página 1de 6

Algebra relacional.

Definicin.

Es un lgebra en donde: Sus operandos son relaciones (instancias) o variables que representan relaciones Sus operadores estn diseados para hacer las tareas ms comunes que se necesitan para manipular relaciones en una base de datos. Caractersticas El lgebra relacional est basada en la Teora de Conjuntos Una caracterstica de todas las operaciones del lgebra relacional es que tanto los operandos como el resultado son relaciones. Esta propiedad se denomina cierre relacional. Aunque como operandos se pueden tener dos relaciones, el resultado siempre ser una relacin El Algebra relacional es un lenguaje de consulta procedural. Consta de un conjunto de operaciones que toman como entrada una o dos relaciones y producen como resultado una nueva relacin, por lo tanto, es posible anidar y combinar operadores. 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.

Tupla
Es una secuencia ordenada de objetos, esto es, una lista con un nmero limitado de objetos. Las tuplas se emplean para describir objetos matemticos que tienen estructura, es decir que son capaces de ser descompuestos en un cierto nmero de componentes. En trminos simples, puede tener un Conjunto de nombres de atributos relacionados a pares con los dominios de dichos atributos, en una tabla de una base de datos puede imaginarse formada de filas y columnas o campos. Cada fila de una tabla representa un conjunto de datos relacionados, y todas las filas de la misma tabla tienen la misma estructura

Definicin.
Las principales propiedades que distinguen a una tupla de, por ejemplo un conjunto, son que: 1. Un objeto puede contener internamente (por agregacin) a otros objetos. 2. Los objetos aparecen obligatoriamente representados en un orden dado. Es de notar que la primera de las caractersticas distingue de un conjunto ordenado y la segunda de los que se denomina un multi-conjunto.

Operandos
Los operandos son una de las entradas (argumentos o variables) de un operador. Por ejemplo, en " " es el operador, " " y " " son los operandos. La cantidad de operandos de un operador es denominada aridad. Basndose en la aridad, los operadores son clasificados como unarios, binarios, ternarios etc.

Segn el nmero de relaciones como operandos

Operaciones unarias. Son aquellas que tienen una sola relacin como operando: Seleccin Proyeccin Operaciones binarias. Son aquellas que tienen dos relaciones como operandos: Unin Diferencia Producto Cartesiano Interseccin Combinacin

Operadores.
Hay ocho operadores en el lgebra relacional que construyen relaciones y manipulan datos, estos son:
1. Seleccin 4. Unin 7. JOIN 2. Proyeccin 5. Interseccin 8. Divisin 3. Producto 6. Diferencia

1.-Seleccin.
El operador de seleccin opta por tuplas que satisfagan cierto predicado, se utiliza la letra griega sigma minscula () para sealar la seleccin. El predicado aparece como subndice de . La Relacin que constituye el argumento se da entre parntesis despus de la .

2.-Proyeccin.
La operacin de proyeccin permite quitar ciertos atributos de la relacin, esta operacin es unaria, copiando su relacin base dada como argumento y quitando ciertas columnas, La proyeccin se seala con la letra griega pi mayscula (). Como subndice de se coloca una lista de todos los atributos que se desea aparezcan en el resultado. La relacin argumento se escribe despus de entre parntesis.

3.-Producto.
En lgebra relacional el producto de dos relaciones A y B es: A Veces B o A X B Produce el conjunto de todas las Tuplas t tales que t es el encadenamiento de una tupla a perteneciente a A y de una b que pertenece a B. se utiliza el smbolo X para representar el producto

4.-Unin.
En lgebra relacional la unin de dos relaciones compatibles A y B es: A UNION B o A B Produce el conjunto de todas las tuplas que pertenecen ya sea a A o a B o a Ambas. Al igual que en teora de conjuntos el smbolo representa aqu la unin de dos relaciones.

5.-Interseccin.
En lgebra relacional la interseccin de dos relaciones compatibles A y B A INTERSECCION B o A B Produce el conjunto de todas las tuplas pertenecientes a A y B. Al igual que en teora de conjuntos el smbolo representa aqu la interseccin entre dos relaciones.

6.-Diferencia
En lgebra relacional la diferencia entre dos relaciones compatibles A y B A MENOS B o A B Produce el conjunto de todas las tuplas t que pertenecen a A y no pertenecen aB.

7.-Join o Reunin.
En lgebra relacional el JOIN entre el atributo X de la relacin A con el atributo Y de la relacin B produce el conjunto de todas las tuplas t tal que t es el encadenamiento de una tupla a perteneciente a A y una tupla b perteneciente a B que cumplen con el predicado A.X comp B.Y es verdadero (siendo comp un operador relacional y los atributos A.X y B.Y pertenecientes al mismo dominio). Si el operador relacional comp es = entonces el conjunto resultante es un EQUI-JOIN. Si se quita uno de stos (usando una proyeccin) entonces el resultado es un JOIN-NATURAL.

8.-Divisin
En lgebra relacional el operador de divisin divide la relacin A con grado m + n por la relacin B entregando como resultado una relacin con grado m. El atributo m + i de A y el atributo i de B deben estar definidos dentro del mismo dominio. As el resultado de A DIVIDIDO POR B o A / B produce la relacin C con un slo atributo X, tal que cada valor de x de C.Xaparece como un valor de A.X, y el par de valores (x, y) aparece en A para todos los valores y que aparecen en B.