Please enable JavaScript.

Coggle requires JavaScript to display documents.

MODELO RELACIONAL (elementos (tupla (linha da tabela), atributo (coluna…

- - - - restringir valores válidos
        para atributos
    - - Unicidade de cada tupla
        (PK)
    - - def se valor de att pode ser
        ou não NULL
    - - FK == PK || FK == NULL
    - - PK != NULL
    - - assertion
        
        condição que deve ser
        sempre aceita
      - trigger
        
        comando executado
        automaticamente
- - - - atomicidade de dados
      - att compostos viram
        colunas distintas
      - att multivalorados viram
        nova tabela com FK
    - - diminuir redundância
        desagrupar info
      - eliminar dependências
        funcionais parciais
      - TODO att não-chave é determinado
        por TODOS os campos da PK
      - dependências viram
        nova tabela com FK
    - - id e eliminar transitividade
      - TODO att não chave deve ser
        determinado somente pela PK
      - campos com transitividade
        são movidos para nova tabela
    - - dependências multivaloradas
        (DMV) - AttA→→ AttB | AttC
      - 5FN
        
        Forma Normal Projeção Junção
        
        =3 att como PK
      - 4FN
        
        DMV trivial x DMV não-trivial
    - - TODO att deve ser determinado
        somente por CK
- - - - SELEÇÃO
        
        σ<condição>(Relação)
      - PROJEÇÃO
        
        π<att1, ..., attn>(Relação)
        
        elimina duplicatas
      - RENAME
        
        ρ<TableNewName><Att1NewName, ..., AttNNewName>(Relação)
        
        unificar em um conj. 2 listas !=
        
        reduzir ambiguidade do SELFJOIN
      - UNIÃO, INTERSECÇÃO,
        DIFERENÇA, PROD. CARTESIANO
    - - RelaçãoA ⋈<condição> RelaçãoB
      - variações
        
        natural join (att de msm nome em ambas tabelas)
        
        outer join
        
        left outer join (⋊)
        
        right outer join
        
        full outer join
        
        θ-junção (⋈θ) e equijunção (operador da cond. é =)
        
        antijoin (|> retorna tuplas que não satisf. condição)
    - - "para todos"
      - elem. da 1ª tabele que se relacionam
        com todos elem. da 2ª tabela