4. Algebra relacional4.1 IntroducciónEn 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. 4.2 Conjunto de operaciones en relaciones
Restricciones:
Ejemplos:
Unión
Intersección
Resta
4.3 Proyección
|
title |
year |
length |
filmType |
studioName |
Star Wars |
1977 |
124 |
color |
Fox |
Mighty Ducks |
1991 |
104 |
color |
Disney |
Wayne's World |
1992 |
95 |
color |
Paramount |
Movie
Ejemplo:
title,year,length(Movie)
title |
year |
length |
Star Wars |
1977 |
124 |
Mighty Ducks |
1991 |
104 |
Wayne's World |
1992 |
95 |
filmType(Movie)
filmType |
color |
title |
year |
length |
filmType |
studioName |
Star Wars |
1977 |
124 |
color |
Fox |
Mighty Ducks |
1991 |
104 |
color |
Disney |
Wayne's World |
1992 |
95 |
color |
Paramount |
Movie
Ejemplos:
length>=100 (Movie)
title |
year |
length |
filmType |
studioName |
Star Wars |
1977 |
124 |
color |
Fox |
Mighty Ducks |
1991 |
104 |
color |
Disney |
length>=100 and studioName='Fox' (Movie)
title |
year |
length |
filmType |
studioName |
Star Wars |
1977 |
124 |
color |
Fox |
title,studioName(
length>=100 (Movie))
title |
studioName |
Star Wars |
Fox |
Mighty Ducks |
Disney |
Almacena temporalmente el resultado de un operación en un relación dada
LOLO <--
title,studioName(
length>=100 (Movie))
Sean
R |
S |
| A | B |
| a | b |
| e | 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
R |
S |
| A | R.B | S.B | C | D |
| 1 | 2 | 2 | 5 | 6 |
| 1 | 2 | 4 | 7 | 8 |
| 1 | 2 | 9 | 10 | 11 |
| 3 | 4 | 2 | 5 | 6 |
| 3 | 4 | 4 | 7 | 8 |
| 3 | 4 | 9 | 10 | 11 |
R X S
Es un producto cartesiano donde nos interesan únicamente algunas tuplas que hacen "match" en algun criterio.
| A | R.B | S.B | C | D |
| 1 | 2 | 2 | 5 | 6 |
| 1 | 2 | 4 | 7 | 8 |
| 1 | 2 | 9 | 10 | 11 |
| 3 | 4 | 2 | 5 | 6 |
| 3 | 4 | 4 | 7 | 8 |
| 3 | 4 | 9 | 10 | 11 |
| A | B | C | D |
| 1 | 2 | 5 | 6 |
| 3 | 4 | 7 | 8 |
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 |
| employee-name | street | city | branch-name | salary |
| Coyote | Toon | Hollywood | Mesa | 1500 |
| Rabbit | Tunnel | Carrotville | Mesa | 1300 |
| Williams | Seaview | Seattle | Redmond | 1500 |
|X|
| employee-name | street | city | branch-name | salary |
| Coyote | Toon | Hollywood | Mesa | 1500 |
| Rabbit | Tunnel | Carrotville | Mesa | 1300 |
| Williams | Seaview | Seattle | Redmond | 1500 |
| Smith | Revolver | Death Valley | null | null |
| employee-name | street | city | branch-name | salary |
| Coyote | Toon | Hollywood | Mesa | 1500 |
| Rabbit | Tunnel | Carrotville | Mesa | 1300 |
| Williams | Seaview | Seattle | Redmond | 1500 |
| Gates | null | null | Redmond | 5300 |
| employee-name | street | city | branch-name | salary |
| Coyote | Toon | Hollywood | Mesa | 1500 |
| Rabbit | Tunnel | Carrotville | Mesa | 1300 |
| Williams | Seaview | Seattle | Redmond | 1500 |
| Smith | Revolver | Death Valley | null | null |
| Gates | null | null | Redmond | 5300 |
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)
s(A,X,C) (R)
A, B as X, C (R)
B as X (R)
= R(A,X,C) = S(A,X,C) = R(A,X,C) = 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.
| A | B |
| 1 | 2 |
| 3 | 4 |
| 1 | 2 |
| 1 | 2 |
(R)
A B 1 2 3 4
| A | B |
| 1 | 2 |
| 3 | 4 |
| 1 | 2 |
| 1 | 2 |
Es importante resaltar que estos operadores nunca devuelven un "valor" sino una relación conteniendo el valor.
SUM(B) |
10 |
SUM(B) (R)
| A | B |
| 1 | 2 |
| 3 | 4 |
| 1 | 2 |
| 2 | 8 |
| 1 | 2 |
| 2 | 6 |
| A | SUM(B) |
| 1 | 6 |
| 3 | 4 |
| 2 | 14 |
A, SUM(B) (R)
A4,A5 (R)
A SUM(B) 1 6 2 14 3 4
A (
A, SUM(B)(R))
account |
branch |
customer |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
depositor |
loan |
borrower |
{ t | t
loan ^ t [amount] > 1200 }
{ t |
s
loan ( t [loan-number] = s [loan-number] ^s [amount] > 1200) }
{ t |
s
borrower (t [customer-name] = s [customer-name] ^
u
loan ( u[loan-number] = s[loan-number] ^
u[branch-name]="Perryridge" ) ) }
{ t |
s
borrower ( t [customer-name] = s [customer-name] )
vu
depositor ( t[customer-name] = u[customer-name] ) }
{ t |
u
depositor ( t[customer-name] = u [customer-name] ) ^
¬s
borrower ( t[customer-name] = s[customer-name] ) }
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] )))) }
{ t | ¬ ( t
loan ) }
account |
branch |
customer |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
depositor |
loan |
borrower |
{ <l,b,a> | <l,b,a>
loan ^ a > 1200 }
{ < l > |
b,a ( <l,b,a>
loan ^ a > 1200) }
{ <c,a> |
l (<c,l>
borrower
^b (<l,b,a>
loan ^ b="Perryridge" ) ) }
{ <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.