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.
lgebra relacional Principales operadores:
Unarios:
Seleccin o Restriccin ()
Proyeccin ()
Franco Guidi Polanco Redenominacin()
Escuela de Ingeniera Industrial Binarios:
Unin ()
Pontificia Universidad Catlica de Valparaso, Chile
Interseccin ()
fguidi@ucv.cl Diferencia (-)
Producto cartesiano (X)
Join ()
Divisin (/) (no se estudiar en este curso)
Revisin: 8 de Mayo de 2006
Franco Guidi Polanco 2

Semntica de los Operadores del lgebra

Propiedad de cierre
Relacional: Unin
Propiedad de cierre: el resultado de la aplicacin de Unin (): dadas dos relaciones A y B del mismo tipo, la
cualquiera de los operadores del lgebra relacional sobre unin de ambas relaciones, escrita como A B, es una
una o ms relaciones, es tambin una relacin. relacin del mismo tipo, que contiene las tuplas t tal que
que t pertenece a A, a B o a ambas.
Consecuencia de la propiedad de cierre: los operadores del
lgebra relacional permiten la construccin de expresiones
compuestas. A Parte Nombre Material B Parte Nombre Material

P5 Perno Acero P7 Tuerca Acero

P7 Tuerca Acero P3 Cncamo Plstico

P9 Clavo Titanio

AB Parte Nombre Material

P5 Perno Acero

P7 Tuerca Acero

P9 Clavo Titanio

P3 Cncamo Plstico

Franco Guidi Polanco 3 Franco Guidi Polanco 4

 Semntica de los Operadores del lgebra Semntica de los Operadores del lgebra
Relacional: Interseccin Relacional: Diferencia
Interseccin (): dadas dos relaciones A y B del mismo tipo, Diferencia (-): dadas dos relaciones A y B del mismo tipo,
la interseccin de ambas relaciones, escrita como A B, es la diferencia de ambas relaciones, escrita como A B (en
una relacin del mismo tipo, que contiene las tuplas t tal que este orden), es una relacin del mismo tipo, que contiene
que t pertenece tanto a A, como a B. las tuplas t tal que que t pertenece a A, pero no a B.

A Parte Nombre Material B Parte Nombre Material A Parte Nombre Material B Parte Nombre Material

P5 Perno Acero P7 Tuerca Acero P5 Perno Acero P7 Tuerca Acero

P7 Tuerca Acero P3 Cncamo Plstico P7 Tuerca Acero P3 Cncamo Plstico

P9 Clavo Titanio P9 Clavo Titanio

AB Parte Nombre Material

A-B Parte Nombre Material

P7 Tuerca Acero P5 Perno Acero

P9 Clavo Titanio

Franco Guidi Polanco 5 Franco Guidi Polanco 6

Semntica de los Operadores del lgebra Relacional:
Redenominacin
Redenominacin (): dada las relacin A, con atributos {
X1, X2, ... Xn, Y1, Y2, ..., Ym } y el conjunto de atributos {
Z1, Z2, ..., Zn}, la redenominacin de los atributos de A,
escrito como AX1X2..Xn Z1Z2...Zn, es la relacin que contiene
los atributos {Z1, Z2, ... Zn,Y1, Y2, ... Ym}, tal que sus tuplas
son las tuplas de A, donde Zi contiene el valor de Xi, para
i=1,...,n.
A Parte,MaterialCdigo,Metal (A)
Parte Nombre Material
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.
Cdigo Nombre Metal

P5 Perno Acero P5 Perno Acero

P7 Tuerca Acero P7 Tuerca Acero

P9 Clavo Titanio P9 Clavo Titanio

Franco Guidi Polanco 7 Franco Guidi Polanco 8

 Semntica de los Operadores del lgebra Semntica de los Operadores del lgebra
Relacional: Producto Cartesiano (cont.) Relacional: Seleccin
A AxB Seleccin (): dada una relacin A y un predicado p bien
definido, la seleccin de la relacin A dado p, escrito como
Parte Nombre Material Parte Nombre Material Mercado Pas

P5 Perno Acero P5 Perno Acero M1 USA p (A), es una relacin del mismo tipo, que contiene las
P6 Cncamo Bronce P5 Perno Acero M2 UE tuplas t de A tal que p es verdadero para esas tuplas.
Mercado Pas
P5 Perno Acero M3 China
El predicado es una expresin booleana compuesta por
B P6 Cncamo Bronce M1 USA
confrontaciones entre atributos de A o de atributos de A
P6 Cncamo Bronce M2 UE
M1 USA
P6 Cncamo Bronce M3 China
con literales
M2 UE

M3 China
A x A (Notar redenominacin implcita) A Parte Nombre Material Material = Acero (A)
A1.Parte A1.Nombre A1.Material A2.Parte A2.Nombre A2.Material P5 Perno Acero Parte Nombre Material
P7 Tuerca Acero P5 Perno Acero
P5 Perno Acero P5 Perno Acero

P5 Perno Acero P6 Cncamo Bronce

P9 Clavo Titanio P7 Tuerca Acero

P6 Cncamo Bronce P5 Perno Acero

P6 Cncamo Bronce P6 Cncamo Bronce

Franco Guidi Polanco 9 Franco Guidi Polanco 10

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

Franco Guidi Polanco 11 Franco Guidi Polanco 12

 Semntica de los Operadores del lgebra Semntica de los Operadores del lgebra
Relacional: Proyeccin (cont.) Relacional: Natural Join
Natural Join (): dadas las relaciones A y B, con atributos {
X1, X2, ... Xn, Y1, Y2, ..., Yn } y { Y1, Y2, ..., Yn, Z1, Z2, ..., Zn
B } respectivamente, es decir, (slo) con Y1, Y2, ..., Yn como
Parte Nombre Material Productor Stock Stock en
bodega trnsito atributos comunes entre ambas relaciones, el natural join
P5 Perno Acero ABC 5.000 10.000 de A y B, escrito como A B, es la relacin conteniente los
P7 Tuerca Acero XYZ 24.000 0 atributos { X1, X2, ... Xn, Y1, Y2, ..., Yn, Z1, Z2, ..., Zn } y el
P9 Clavo Titanio ABC 9.000 2.000
conjunto de todas las tuplas tales que los valores de sus
atributos X1, X2, ... Xn, Y1, Y2, ..., Yn son tuplas de A, y los
valores de sus atributos Y1, Y2, ..., Yn, Z1, Z2, ..., Zn son
Parte,Nombre,Stock bodega(B) Material(B) tuplas de B.
Parte Nombre Stock Material El natural join es el ms comn de los operadores de
bodega
P5 Perno 5.000
Acero join, y generalmente viene llamado join.
Titanio
P7 Tuerca 24.000

P9 Clavo 9.000

Franco Guidi Polanco 13 Franco Guidi Polanco 14

Semntica de los Operadores del lgebra Semntica de los Operadores del lgebra
Relacional: Natural Join (cont.) Relacional: Natural Join (cont.)
Join completo
Join completo
A Parte Nombre Material Productor Stock
bodega
Stock en
trnsito B Material Tipo
A B
P5 Perno Acero ABC 5.000 10.000 Acero Inox Parte Nombre Material Productor Stock Stock en Productor Pas
bodega trnsito
P6 Cncamo Acero XYZ 12.000 5.000 Acero Galv
P5 Perno Acero ABC 5.000 10.000 ABC Chile
P7 Tuerca Acero FGH 24.000 0 Titanio High

P9 Clavo ABC 9.000 2.000 P6 Cncamo Acero XYZ 12.000 5.000 FGH Italia
Titanio
P7 Tuerca Acero FGH 24.000 0 XYZ Mxico
Parte Nombre Material Productor Stock Stock en Tipo
AB bodega trnsito P9 Clavo Titanio ABC 9.000 2.000

AB
P5 Perno Acero ABC 5.000 10.000 Inox
Parte Nombre Material Productor Stock Stock en Pas
P5 Perno Acero ABC 5.000 10.000 Galv bodega trnsito
P6 Cncamo Acero XYZ 12.000 5.000 Inox
P5 Perno Acero ABC 5.000 10.000 Chile
P6 Cncamo Acero XYZ 12.000 5.000 Galv
P6 Cncamo Acero XYZ 12.000 5.000 Mxico
P7 Tuerca Acero FGH 24.000 0 Inox
P7 Tuerca Acero FGH 24.000 0 Italia
P7 Tuerca Acero FGH 24.000 0 Galv

P9 Clavo Titanio ABC 9.000 2.000 High P9 Clavo Titanio ABC 9.000 2.000 Chile

Franco Guidi Polanco 15 Franco Guidi Polanco 16

 Semntica de los Operadores del lgebra Semntica de los Operadores del lgebra
Relacional: Natural Join (cont.) Relacional: Natural Join (cont.)
Join incompleto: Join incompleto (vaco)

A B
Parte Nombre Material Productor Stock Stock en Productor Pas A B
bodega trnsito Parte Nombre Material Productor Stock Stock en Productor Pas
bodega trnsito
P5 Perno Acero ABC 5.000 10.000 ABC Chile
P5 Perno Acero ABC 5.000 10.000 DEF Francia
P6 Cncamo Acero XYZ 12.000 5.000 QRS Italia
P6 Cncamo Acero XYZ 12.000 5.000 IJK Per
P7 Tuerca Acero FGH 24.000 0 XYZ Mxico
P7 Tuerca Acero FGH 24.000 0 LMN Austria
P9 Clavo Titanio ABC 9.000 2.000
P9 Clavo Titanio ABC 9.000 2.000

AB Parte Nombre Material Productor Stock

bodega
Stock en
trnsito
Pas

P5 Perno Acero ABC 5.000 10.000 Chile

AB Parte Nombre Material Productor Stock
bodega
Stock en
trnsito
Pas

P6 Cncamo Acero XYZ 12.000 5.000 Mxico

P9 Clavo Titanio ABC 9.000 2.000 Chile

Franco Guidi Polanco 17 Franco Guidi Polanco 18

Semntica de los Operadores del lgebra Semntica de los Operadores del lgebra
Relacional: Theta-Join/Equi-Join Relacional: Theta-Join/Equi-Join
-Join (p): dadas las relaciones A y B, y p un predicado bien definido, A B
el -Join de A y B, escrito como A p B, es la relacin que contiene los Mercado Nombre Requerimiento Productor Disponibiliad
atributos de A y de B y cuyas tuplas son el el conjunto de todas las M1 Talca 1000 S1 1300
parejas constituidas por una tupla de A y una tupla de B para las M2 Pars 2000 S2 1800
cuales el predicado p es verdadero.
M3 Londres 1200
El predicado p tiene la forma X Y, donde X es un atributo de A, Y es S3 1000

un atributo de B, y es un operador (tpicamente =, >,<, etc.) de

modo que X Y est bien definido.
Equi-Join: caso particular de -Join, en el cual es el operador de
A Requerimiento<=Disponibilidad B
igualdad (=) Mercado Nombre Requerimiento Productor Disponibilidad

M1 Talca 1000 S1 1300

M1 Talca 1000 S2 1800

M1 Talca 1000 S3 1000

M3 Londres 1200 S1 1300

M3 Londres 1200 S2 1800

Franco Guidi Polanco 19 Franco Guidi Polanco 20