Académique Documents
Professionnel Documents
Culture Documents
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: Seleccin () Permite seleccionar un subconjunto de tuplas de una relacin (R), todas aquellas que cumplan la(s) condicin(es) P, esto es:
Ejemplo:
Selecciona todas las tuplas que contengan Gmez como apellido en la relacin Alumnos. Una condicin puede ser una combinacin booleana, donde se pueden usar operadores como: combinndolos con operadores . , ,
lgebra relacional Proyeccin () Permite extraer columnas (atributos) de una relacin, dando como resultado un subconjunto vertical de atributos de la relacin, esto es:
donde Ejemplo:
Selecciona los atributos Apellido, Semestre y NumeroControl de la relacin Alumnos, mostrados como un subconjunto de la relacin Alumnos 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. Ejemplo:
Muestra una nueva relacin, cuyo esquema contiene cada una de las tuplas de la relacin Alumnos junto con las tuplas de la relacin Maestros, mostrando primero los atributos de la relacin Alumnos seguidos por las tuplas de la relacin Maestros. 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. 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. Estas operaciones son fundamentales en el sentido en que (1) todas las dems operaciones pueden ser expresadas como una combinacin de stas y (2) ninguna de estas operaciones pueden ser omitidas sin que con ello se pierda informacin. No bsicas o Derivadas Entre los operadores no bsicos tenemos: Interseccin () La interseccin de dos relaciones se puede especificar en funcin de otros operadores bsicos:
La interseccin, como en Teora de conjuntos, corresponde al conjunto de todas las tuplas que estn en R y en S, siendo R y S uniones compatibles.
La operacin unin natural en el lgebra relacional es la que permite reconstruir las tablas originales previas al proceso de normalizacin. Consiste en combinar las proyeccin, seleccin y producto cartesiano en una sola operacin, donde la condicin es la igualdad Clave Primaria = Clave Externa (o Foranea), y la proyeccin elimina la columna duplicada (clave externa). Expresada en las operaciones bsicas, queda
es libre.
Supongamos que tenemos dos relaciones A(x, y) y B(y) donde el dominio de y en A y B, es el mismo. El operador divisin A / B retorna todos los distintos valores de x tales que para todo valor y en B existe una tupla en A. Agrupacin () Permite agrupar conjuntos de valores en funcin de un campo determinado y hacer operaciones con otros campos. Por ejemplo: sum(puntos) as Total Equipo (PARTIDOS).
Ejemplos
Suponga las relaciones o tablas:
Alumno
ID NOMBRE CIUDAD 01 Pedro 11 Juan 21 Diego 31 Rosita 41 Manuel Santiago EDAD 14
Apoderado
ID NOMBRE FONO ID_ALUMNO
lgebra relacional
Curso
COD NOMBRE FECHA_INICIO DURACION VALOR 13-01 15-02 15 12 30 10 15 3.000 2.500 4.000 1.500 3.200
Inscrito
ID ID_AL COD 1 2 3 4 5 01 01 11 21 41 05478 02145 03547 02145 03547
Mostrar los nombres de los alumnos y su apoderado Primero, realizaremos una combinacin entre alumnos y apoderados (pues necesitamos saber a que alumno le corresponde tal apoderado). La combinacin realizar un producto cartesiano, es decir, para cada tupla de alumnos (todas las filas de alumnos) har una mezcla con cada una tupla de apoderados y seleccionar aquellas nuevas tuplas en que alumnos.id sea igual a apoderados.id_alumno, esto es:
ID (alumno) NOMBRE (alumno) CIUDAD 01 01 01 01 11 11 11 11 21 21 21 21 31 31 31 31 41 Pedro Pedro Pedro Pedro Juan Juan Juan Juan Diego Diego Diego Diego Rosita Rosita Rosita Rosita Manuel Santiago Santiago Santiago Santiago EDAD ID (apoderado) NOMBRE (apoderado) FONO 14 14 14 14 054 457 354 444 054 457 354 444 054 457 354 444 054 457 354 444 054 Vctor Jos Mara Paz Vctor Jos Mara Paz Vctor Jos Mara Paz Vctor Jos Mara Paz Vctor ID_ALUMNO
654644 21 454654 11 997455 31 747423 01 654644 21 454654 11 997455 31 747423 01 654644 21 454654 11 997455 31 747423 01 654644 21 454654 11 997455 31 747423 01 654644 21
Buenos Aires 18 Buenos Aires 18 Buenos Aires 18 Buenos Aires 18 Lima Lima Lima Lima Concepcin Concepcin Concepcin Concepcin Lima 12 12 12 12 15 15 15 15 17
lgebra relacional
5
Manuel Manuel Manuel Lima Lima Lima 17 17 17 457 354 444 Jos Mara Paz 454654 11 997455 31 747423 01
41 41 41
Alumnos
ID (alumno) NOMBRE (alumno) CIUDAD 01 11 21 31 Pedro Juan Diego Rosita Santiago EDAD ID (apoderado) NOMBRE (apoderado) FONO 14 444 457 054 354 Paz Jos Vctor Mara ID_ALUMNO
Ahora, aqu debemos mostrar solo el nombre del alumno y el nombre del apoderado, esto lo hacemos con un Proyect o Proyeccin, donde la tabla final sera:
NOMBRE (alumno) NOMBRE (apoderado) Pedro Juan Diego Rosita Paz Jos Vctor Mara
Apoderados Se lee: Proyecta los nombre de alumnos y nombre de apoderados de los alumnos cuyo ID sea el mismo que el ID_ALUMNO de los apoderados. Mostrar el nombre de los alumnos inscritos y el nombre de los cursos que tomaron Comenzaremos con una combinacin entre los inscritos y los cursos para obtener el nombre de los cursos:
Resultado 1
ID ID_AL COD (inscritos) COD (cursos) NOMBRE 1 2 3 4 5 01 01 11 21 41 05478 02145 03547 02145 03547 05478 02145 03547 02145 03547 Fsica Biologa FECHA_INICIO DURACION VALOR 20-04 15-02 15 12 30 12 30 3.200 2.500 4.000 2.500 4.000
Matemticas 01-03
Como podemos observar, la combinacin solo nos entrega las combinaciones entre Inscritos y Cursos en que COD sea igual entre los inscritos y el curso correspondiente.
lgebra relacional Ahora necesitamos los nombres de los alumnos inscritos. Al resultado anterior (Resultado 1) aplicaremos una nueva combinacin comparando los ID de los alumnos para colocar el nombre adecuado con el estudiante adecuado: Resultado 1 O escrito todo junto: Inscritos La tabla de este nuevo resultado sera: Cursos Alumnos Alumnos
Resultado 2
ID ID_AL COD (inscrito) (inscritos) 1 2 3 01 01 11 05478 02145 03547 COD (cursos) 05478 02145 03547 NOMBRE (curso) Fsica Biologa Matemticas FECHA_INICIO DURACION VALOR ID NOMBRE (alumno) (alumno) 20-04 15-02 01-03 15 12 30 3.200 2.500 4.000 01 01 11 Pedro Pedro Juan CIUDAD EDAD
14 14 18
4 5
21 41
02145 03547
02145 03547
Biologa Matemticas
15-02 01-03
12 30
2.500 4.000
21 41
Diego Manuel
12 17
Finalmente con una Proyeccin mostraremos el nombre del alumno y el curso inscrito: Resultado 2 Donde la tabla final sera:
Tabla final
NOMBRE (alumno) NOMBRE (curso) Pedro Pedro Juan Diego Manuel Fsica Biologa Matemticas Biologa Matemticas
Mostrar los nombres y precios de los cursos inscritos con valor menor a 3.000 Resultado 1 Lo que nos entregara la tabla:
lgebra relacional
Resultado final
NOMBRE VALOR Biologa 2.500
Vase tambin
Relacin matemtica Modelo relacional Modelo de datos Clculo relacional SQL
Enlaces externos
RAT, Software Rational Algebra Translator to SQL [1] TQL, a relational query language draft proposal [2] LEAP - An implementation of the relational algebra [3] WinRDBI Home, Educational Tool [4]
Referencias
[1] [2] [3] [4] http:/ / www. slinfo. una. ac. cr/ rat/ rat. html http:/ / www. c2. com/ cgi/ wiki?TqlRoadmap http:/ / leap. sourceforge. net http:/ / www. eas. asu. edu/ ~winrdbi/
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/