En las secciones anteriores se han estudiado las maneras de modelar información de manera "relacional" empleando el concepto de entidades que se relacionan entre sí.
Esta sección presenta la manera de hacer consultas a una base de datos empleando algunos conceptos matemáticos aplicados a un esquema relacional. Los lenguajes que se analizan más adelante se derivan precisamente del algebra relacional.
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.
R S, la unión de R y S es el conjunto de elementos que están en R o S o ambos. Un elemento solo aparece una sola vez.
R S, el conjunto de elementos que aparecen en ambos R y S
R - S, la diferencia de R y S, el conjunto de elementos que estan en R pero no en S. Es importante resaltar que R - S es diferente a S - R.
R / S, la división de una relación entre otra, debe cumplirse que para toda tupla en R exista su correspondiente en S.
Restricciones:
R y S deben tener esquemas idénticos.
El orden de las columnas debe ser el mismo
Ejemplos:
Unión
Intersección
Resta
Crea una nueva relación a partir de otra, pero incluyendo sólo algunas de las columnas
A1,A3,A6 (R)
Movie
Ejemplo:
title,year,length(Movie)
filmType(Movie)
filmType
color
Crea una nueva relación a partir de otra, pero incluyendo sólo algunas de las tuplas a partir de un criterio dado.
El criterio se basa en restricciones sobre los atributos de la relación R y no pueden incluirse otras relaciones en dicho criterio que no esten en R
A3>16 (R) , A3>16 and A3 < 45 (R), nombre='Carlos' and edad=45 (R)
Movie
Ejemplos:
length>=100 (Movie)
length>=100 and studioName='Fox' (Movie)
title,studioName( length>=100 (Movie))
title
Star Wars
Mighty Ducks
studioName
Fox
Disney
Almacena temporalmente el resultado de un operación en un relación dada
LOLO <-- title,studioName( length>=100 (Movie))
Sean
S
C
c
e
D
d
f
R
A
a
e
B
b
d
R / S
Ejemplo: Estudiantes que han tomado todos los cursos de "IS"
ID,num ( depto='IS' (estudiante_cursos)) / num( depto='IS'(cursos))
Producto cruz o solo producto
R X S, los esquemas de ambas relaciones se mezclan y unen.
Dados
A
1
3
B
2
4
R
S
R X S
Es un producto cartesiano donde nos interesan únicamente algunas tuplas que hacen "match" en algun criterio.
R |X| S
El outer join es una extensión del join para lidear con información no existente. Exiten 3 tipos, izquierdo, derecho y completo.
employee
ft-works
|X|
Cuáles son los títulos y años de las películas hechas por Fox y que tengan al menos 100 minutos de duración.
1. Seleccionar aquellas películas que tienen length >=100
length>=100 (Movie)
2. Seleccionar aquellas películas que tienen studioName='Fox'
studioName='Fox' (Movie)
3. Calcular la intersección de (1) y (2)
length>=100 studioName='Fox' (Movie)
4. Proyectar únicamente title y year
title,studioName ( length>=100 studioName='Fox' (Movie) )
Problema:
Dadas las 2 relaciones siguientes, indique un query en algebra relacional para encontrar los nombres de las estrellas que trabajan en películas cuya duración sera mayor o igual que 100.
Movie (title,year,length,filmType,studioName)
Movie_star(title,year,starName)
starName ( length>=100 (Movie |X| Movie_star)
Renombrar una relación para facilitar la interacción con otras
s (R)
Ej.
t.nombre ( s.nombre='carlos' and t.curso='IS341' ( s (PROFE) X t (CURSO) ) )
Renombrar un atributo
Suponiendo R (A,B,C)
R(A,X,C) (R)
= R(A,X,C)
s(A,X,C) (R)
= S(A,X,C)
A, B as X, C (R)
= R(A,X,C)
B as X (R)
= R(X)
r <-- r - E
depositor <-- depositor - customer-name='Smith'(depositor)
r <-- r E
account <-- account {(A-973, "Perryridge", 1200)}
r <-- F1,F2,....Fn(r)
account <-- account-number, branch-name, balance*1.05 (account)
Si sólo queremos actualizar algunas tuplas:
r <-- F1,F2...Fn ( P(r)) ( r - P(r))
Suponiendo que se desea que las cuentas con balance superior a $ 10,000 reciban un aumento del 6% y que todas las demas solo el 5%
account <-- AN, BN, balance*1.06 ( balance > 10000 (account))
AN,BN, balance*1.05 ( balance <= 10000 (account))
R S = R - ( R - S )
R |X| S = L ( c ( R X S ) )
No son parte del estándar del Algebra Relacional, pero al ser incluídos en los lenguajes de consulta más populares se han introducido como una extensión.
(R)
A
1
3
B
2
4
SUM(B)= 10
AVG(A)= 1.5
MIN(A)=1
MAX(B)=4
COUNT(A)=4
Es importante resaltar que estos operadores nunca devuelven un "valor" sino una relación conteniendo el valor.
SUM(B)
10
SUM(B) (R)
A, SUM(B) (R)
A4,A5 (R)
A (A, SUM(B)(R))
customer
account
branch
depositor
loan
borrower
Encontrar branch-name, loan-number and amount para los préstamos superiores a $1,200
{ t | t loan ^ t [amount] > 1200 }
Encontrar el loan-number de cada préstamo cuyo monto sea mayor a $1,200
{ t | s loan ( t [loan-number] = s [loan-number] ^s [amount] > 1200) }
Encontrar los nombres de los clientes que tienen un préstamos de la sucursal Perryridge
{ t | s borrower (t [customer-name] = s [customer-name] ^
u loan ( u[loan-number] = s[loan-number] ^
u[branch-name]="Perryridge" ) ) }
Encontrar todos los clientes que tienen un préstamo, cuenta, o ambos en el banco.
{ t | s borrower ( t [customer-name] = s [customer-name] )
v u depositor ( t[customer-name] = u[customer-name] ) }
Encontrar todos los clientes que tienen una cuenta en el banco pero no tienen ningún préstamo.
{ t | u depositor ( t[customer-name] = u [customer-name] ) ^
¬ s borrower ( t[customer-name] = s[customer-name] ) }
También es posible usar el símbolo "para todo" junto con una implicación P-->Q donde si P es verdadero, Q también deberá serlo.
Encontrar todos los clientes que tienen una cuenta en todas las sucursales localizadas en Brooklyn
{ t | r customer ( r[customer-name] = t [customer-name]) ^
( u branch ( u[branch-city]= "Brooklyn" -->
s depositor ( t[customer-name] = u [customer-name] ) ^
w account ( w[account-number] = s[account-number] ^
w[branch-name] = u[branch-name] )))) }
Expresiones inseguras
{ t | ¬ ( t loan ) }
customer
account
branch
depositor
loan
borrower
Encontrar branch-name, loan-number and amount para los préstamos superiores a $1,200
{ <l,b,a> | <l,b,a> loan ^ a > 1200 }
Encontrar el loan-number de cada préstamo cuyo monto sea mayor a $1,200
{ < l > | b,a ( <l,b,a> loan ^ a > 1200) }
Encontrar los nombres de los clientes que tienen un préstamo de la sucursal Perryridge
{ <c,a> | l (<c,l> borrower
^ b (<l,b,a> loan ^ b="Perryridge" ) ) }
Encontrar todos los clientes que tienen una cuenta en todas las sucursales localizadas en Brooklyn.
{ <c> | n ( <c,n> customer ) ^
x,y,z ( <x,y,z> branch ^ y = "Brooklyn" -->
a,b ( <a,x,b> account ^ <c,a> depositor ) ) }
En este caso nuevamente aparece el "para todo" y el símbolo de implicación P-->Q, indicando que si P es cierto Q también debe serlo.