lgebra relacional

Franco Guidi Polanco

Escuela de Ingeniera Industrial
Pontificia Universidad Catlica de Valparaso, Chile
fguidi@ucv.cl
Revisin: 8 de Mayo de 2006
Franco Guidi Polanco 2
lgebra Relacional
Modelo desarrollado por Codd para la manipulacin del
contenido de una instancia de la BD, con el fin de extraer
datos de inters.
Define un conjunto de operadores que toman relaciones
como operandos, y retornan otra relacin como resultado.
Principales operadores:
Unarios:
Seleccin o Restriccin ()
Proyeccin ()
Redenominacin()
Binarios:
Unin ()
Interseccin ()
Diferencia (-)
Producto cartesiano (X)
J oin ()
Divisin (/) (no se estudiar en este curso)
Franco Guidi Polanco 3
Propiedad de cierre
Propiedad de cierre: el resultado de la aplicacin de
cualquiera de los operadores del lgebra relacional sobre
una o ms relaciones, es tambin una relacin.
Consecuencia de la propiedad de cierre: los operadores del
lgebra relacional permiten la construccin de expresiones
compuestas.
Franco Guidi Polanco 4
Semntica de los Operadores del lgebra
Relacional: Unin
Unin (): dadas dos relaciones A y B del mismo tipo, la
unin de ambas relaciones, escrita como A B, es una
relacin del mismo tipo, que contiene las tuplas t tal que
que t pertenece a A, a B o a ambas.
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
Plstico Cncamo P3
Acero Tuerca P7
Material Nombre Parte
A B
A B
Plstico Cncamo P3
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
Franco Guidi Polanco 5
Semntica de los Operadores del lgebra
Relacional: Interseccin
Interseccin (): dadas dos relaciones A y B del mismo tipo,
la interseccin de ambas relaciones, escrita como A B, es
una relacin del mismo tipo, que contiene las tuplas t tal que
que t pertenece tanto a A, como a B.
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
Plstico Cncamo P3
Acero Tuerca P7
Material Nombre Parte
A B
A B
Acero Tuerca P7
Material Nombre Parte
Franco Guidi Polanco 6
Semntica de los Operadores del lgebra
Relacional: Diferencia
Diferencia (-): dadas dos relaciones A y B del mismo tipo,
la diferencia de ambas relaciones, escrita como A B (en
este orden), es una relacin del mismo tipo, que contiene
las tuplas t tal que que t pertenece a A, pero no a B.
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
Plstico Cncamo P3
Acero Tuerca P7
Material Nombre Parte
A - B
A B
Titanio Clavo P9
Acero Perno P5
Material Nombre Parte
Franco Guidi Polanco 7
Semntica de los Operadores del lgebra Relacional:
Redenominacin
Redenominacin (): dada las relacin A, con atributos {
X
1
, X
2
, ... X
n
, Y
1
, Y
2
, ..., Y
m
} y el conjunto de atributos {
Z
1
, Z
2
, ..., Z
n
}, la redenominacin de los atributos de A,
escrito como A
X1X2..Xn Z1Z2...Zn
, es la relacin que contiene
los atributos {Z
1
, Z
2
, ... Z
n
,Y
1
, Y
2
, ... Y
m
}, tal que sus tuplas
son las tuplas de A, donde Z
i
contiene el valor de X
i
, para
i=1,...,n.
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
A
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Metal Nombre Cdigo

Parte,MaterialCdigo,Metal
(A)
Franco Guidi Polanco 8
Semntica de los Operadores del lgebra
Relacional: Producto Cartesiano
Producto cartesiano (x): dadas dos relaciones A y B, el
producto cartesiano de ambas relaciones, escrito como A x
B, es una relacin que tiene como esquema la unin de los
esquemas de A y B, y cuyas tuplas son el conjunto de
todas las parejas constituidas combinado cada tupla de A
con cada tupla de B.
En caso de existir atributos comunes entre A y B, es
necesario primero redenominarlos adecuadamente.
Franco Guidi Polanco 9
Semntica de los Operadores del lgebra
Relacional: Producto Cartesiano (cont.)
A
Bronce Cncamo P6
Acero Perno P5
Material Nombre Parte
UE M2
China M3
USA M1
Pas Mercado
B
China M3 Bronce Cncamo P6
USA M1 Bronce Cncamo P6
UE M2 Acero Perno P5
UE M2 Bronce Cncamo P6
M3
M1
Mercado
China
USA
Pas
Acero Perno P5
Acero Perno P5
Material Nombre Parte
A x B
Acero Perno P5 Bronce Cncamo P6
Cncamo
Cncamo
Perno
A2.Nombre
P6
P6
P5
A2.Parte
Cncamo
Perno
Perno
A1.Nombre
Bronce
Acero
Acero
A1.Material
Bronce P5
Bronce P6
Acero P5
A2.Material A1.Parte
A x A (Notar redenominacin implcita)
Franco Guidi Polanco 10
Semntica de los Operadores del lgebra
Relacional: Seleccin
Seleccin (): dada una relacin A y un predicado p bien
definido, la seleccin de la relacin A dado p, escrito como

p
(A), es una relacin del mismo tipo, que contiene las
tuplas t de A tal que p es verdadero para esas tuplas.
El predicado es una expresin booleana compuesta por
confrontaciones entre atributos de A o de atributos de A
con literales
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
A
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte

Material = Acero
(A)
Franco Guidi Polanco 11
Semntica de los Operadores del lgebra
Relacional: Seleccin (cont.)
ABC
XYZ
ABC
Productor
2.000
0
10.000
Stock
en
trnsito
9.000
24.000
5.000
Stock
bodega
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
B

Stock bodega > Stock en trnsito

(B)
ABC
XYZ
Productor
2.000
0
Stock
en
trnsito
9.000
24.000
Stock
bodega
Titanio Clavo P9
Acero Tuerca P7
Material Nombre Parte
Franco Guidi Polanco 12
Semntica de los Operadores del lgebra
Relacional: Proyeccin
Proyeccin (): dada la relacin A que contiene los
atributos definidos en el conjunto M, la proyeccin de A
sobre los atributos definidos en el conjunto N = { X, Y, ...,
Z }, con N M, escrito como
X,Y,..Z
(A), es otra relacin
conteniente:
La estructura de A, tras la remocin de los atributos no presentes
en N.
Las tuplas de A, con los valores originales asociados a los atributos
resultantes.
La proyeccin debe preservar la propiedad de cierre (i.e. su
aplicacin debe generar otra relacin), por tanto del
resultado deben eliminarse eventuales tuplas repetidas.
Franco Guidi Polanco 13
Semntica de los Operadores del lgebra
Relacional: Proyeccin (cont.)
ABC
XYZ
ABC
Productor
2.000
0
10.000
Stock en
trnsito
9.000
24.000
5.000
Stock
bodega
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
B
9.000 Clavo P9
24.000 Tuerca P7
5.000 Perno P5
Stock
bodega
Nombre Parte

Parte,Nombre,Stock bodega
(B)
Titanio
Acero
Material

Material
(B)
Franco Guidi Polanco 14
Semntica de los Operadores del lgebra
Relacional: Natural J oin
Natural J oin (): dadas las relaciones A y B, con atributos {
X
1
, X
2
, ... X
n
, Y
1
, Y
2
, ..., Y
n
} y { Y
1
, Y
2
, ..., Y
n
, Z
1
, Z
2
, ..., Z
n
} respectivamente, es decir, (slo) con Y
1
, Y
2
, ..., Y
n
como
atributos comunes entre ambas relaciones, el natural join
de A y B, escrito como A B, es la relacin conteniente los
atributos { X
1
, X
2
, ... X
n
, Y
1
, Y
2
, ..., Y
n
, Z
1
, Z
2
, ..., Z
n
} y el
conjunto de todas las tuplas tales que los valores de sus
atributos X
1
, X
2
, ... X
n
, Y
1
, Y
2
, ..., Y
n
son tuplas de A, y los
valores de sus atributos Y
1
, Y
2
, ..., Y
n
, Z
1
, Z
2
, ..., Z
n
son
tuplas de B.
El natural join es el ms comn de los operadores de
join, y generalmente viene llamado join.
Franco Guidi Polanco 15
Semntica de los Operadores del lgebra
Relacional: Natural J oin (cont.)
J oin completo
A
5.000 12.000 XYZ Acero Cncamo P6
ABC
FGH
ABC
Productor
2.000
0
10.000
Stock en
trnsito
9.000
24.000
5.000
Stock
bodega
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
Galv Acero
High Titanio
Inox Acero
Tipo Material
B
Galv 0 24.000 FGH Acero Tuerca P7
Galv 5.000 12.000 XYZ Acero Cncamo P6
Galv 10.000 5.000 ABC Acero Perno P5
Inox 0 24.000 FGH Acero Tuerca P7
High
Inox
Inox
Tipo
ABC
XYZ
ABC
Productor
2.000
5.000
10.000
Stock en
trnsito
9.000
12.000
5.000
Stock
bodega
Titanio Clavo P9
Acero Cncamo P6
Acero Perno P5
Material Nombre Parte
A B
Franco Guidi Polanco 16
Semntica de los Operadores del lgebra
Relacional: Natural J oin (cont.)
J oin completo
A
5.000 12.000 XYZ Acero Cncamo P6
ABC
FGH
ABC
Productor
2.000
0
10.000
Stock en
trnsito
9.000
24.000
5.000
Stock
bodega
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
Italia FGH
Mxico XYZ
Chile ABC
Pas Productor
B
Italia 0 24.000
FGH
Acero Tuerca P7
Chile
Mxico
Chile
Pas
ABC
XYZ
ABC
Productor
2.000
5.000
10.000
Stock en
trnsito
9.000
12.000
5.000
Stock
bodega
Titanio Clavo P9
Acero Cncamo P6
Acero Perno P5
Material Nombre Parte A B
Franco Guidi Polanco 17
Semntica de los Operadores del lgebra
Relacional: Natural J oin (cont.)
J oin incompleto:
A
5.000 12.000
XYZ
Acero Cncamo P6
ABC
FGH
ABC
Productor
2.000
0
10.000
Stock en
trnsito
9.000
24.000
5.000
Stock
bodega
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
Italia QRS
Mxico
XYZ
Chile
ABC
Pas Productor
B
Chile
Mxico
Chile
Pas
ABC
XYZ
ABC
Productor
2.000
5.000
10.000
Stock en
trnsito
9.000
12.000
5.000
Stock
bodega
Titanio Clavo P9
Acero Cncamo P6
Acero Perno P5
Material Nombre Parte
A B
Franco Guidi Polanco 18
Semntica de los Operadores del lgebra
Relacional: Natural J oin (cont.)
J oin incompleto (vaco)
A
5.000 12.000 XYZ Acero Cncamo P6
ABC
FGH
ABC
Productor
2.000
0
10.000
Stock en
trnsito
9.000
24.000
5.000
Stock
bodega
Titanio Clavo P9
Acero Tuerca P7
Acero Perno P5
Material Nombre Parte
Per IJ K
Austria LMN
Francia DEF
Pas Productor
B
Pas Productor Stock en
trnsito
Stock
bodega
Material Nombre Parte
A B
Franco Guidi Polanco 19
Semntica de los Operadores del lgebra
Relacional: Theta-J oin/Equi-J oin
-J oin (
p
): dadas las relaciones A y B, y p un predicado bien definido,
el -J oin de A y B, escrito como A
p
B, es la relacin que contiene los
atributos de A y de B y cuyas tuplas son el el conjunto de todas las
parejas constituidas por una tupla de A y una tupla de B para las
cuales el predicado p es verdadero.
El predicado p tiene la forma X Y, donde X es un atributo de A, Y es
un atributo de B, y es un operador (tpicamente =, >,<, etc.) de
modo que X Y est bien definido.
Equi-J oin: caso particular de -J oin, en el cual es el operador de
igualdad (=)
Franco Guidi Polanco 20
Semntica de los Operadores del lgebra
Relacional: Theta-J oin/Equi-J oin
Londres
Pars
Talca
Nombre
1200 M3
2000 M2
1000 M1
Requerimiento Mercado
1000
1800
1300
Disponibiliad
S2
S3
S1
Productor
A
Requerimiento<=Disponibilidad
B
A
B
1000 S3 1000 Talca M1
1800 S2 1200 Londres M3
1300 S1 1200 Londres M3
S2
S1
Productor
Talca
Talca
Nombre
1000
1000
Requerimiento
1800 M1
1300 M1
Disponibilidad Mercado