Escolar Documentos
Profissional Documentos
Cultura Documentos
Banco
de
Dados
I
Aula
06
lgebra
Relacional
Turmas:
Sistemas
de
Informao
Professora:
Andr
Luiz
da
Costa
Carvalho
E-mail:
andre@icomp.ufam.edu.br
Ambiente
virtual:
hLp://bdufam.wordpress.com
Sumrio
Relational algebra
Relational calculus
Operaes unrias:
SELECT e PROJECT
SELECT
Operaes unrias:
SELECT e PROJECT
Exemplo:
<selection condition> aplicada individualmente
a cada tupla t em R
Operaes unrias:
SELECT e PROJECT
SELECT comutativo
SELECT em cascata podem ser uma nica
operao com AND
Project
Eliminao de duplicatas
Conjunto de operaes e
renomear
Expresso inline:
Sequncia de operaes:
AS
UNIO
RS
Inclui todas as tuplas que esto em R ou em S ou
em ambos.
Duplicatas so eliminadas
INTERSEO
RS
Inclui todas tuplas que esto em R e S
RS
Inclui todas tuplas que esto em R mas no em S
PRODUTO CARTESIANO
PRODUTO CARTESIANO
JOIN e DIVISION
JOIN
Smbolo:
Combina tuplas relacionadas em duas relaes
em tuplas nicas mais longas
Condio de unio no formato: <condition> AND
<condition> AND...AND <condition>
Exemplo:
JOIN e DIVISION
THETA JOIN
EQUIJOIN
S com =
Um ou mais atributos tem que ser iguais para
tupla entrar
NATURAL JOIN
Sinal *
Remove a necessidade dos atributos em um
EQUIJOIN
Selectividade de um Join
Inner joins
Conjunto de operaes {, , , , , } um
conjunto completo
Diviso
Smbolo:
Exemplo: recupere o nome dos funcionrios
que trabalham em todos os trabalhos que
John Smith trabalha.
Exemplo 2: recupere todos os alunos que
pagam todas as disciplinas que voc paga.
Aplicando: R(Z) S(X)
rvores de consultas
Query tree
Operaes adicionais
Projeo generalizada
Agrupamento
Fechamento recursivo
OUTER JOIN
Outer joins
Exemplo:
OUTER UNION
Parcialmente compatveis
Clculo Relacional
Expresso declarativa
Variveis tuplas
Satisfazendo COND(t):
Especifica:
Frmulas e Expresses
Quantificador existencial e
Universal
Quantificador Universal ()
Quantificador Existencial ()
Define uma varivel tupla como livre ou
restrita
Exemplo de consultas
Transformando quantificadores
AND e OR so trocados
Frmulas negadas so desnegadas
Frmulas desnegadas so negadas.
Quantificador universal em
consultas
Expresses seguras
Expresso segura