Formas Normais em Banco de Dados
33 Questions
1 Views

Choose a study mode

Play Quiz
Study Flashcards
Spaced Repetition
Chat to Lesson

Podcast

Play an AI-generated podcast conversation about this lesson

Questions and Answers

Uma relação R está na forma BCNF em relação a um conjunto F de dependências funcionais se para todas as dependências funcionais em F+ da forma α → β, onde α ⊆ R e ß ⊆ R, nenhuma das seguintes situações é válida: α → ß é trivial (ou seja, ß ⊆ α) ou α é uma superchave para R.

False (B)

Qual é o nome do esquema que não está na forma BCNF, apresentado no texto?

in_dep

Em que duas relações é decomposto o esquema in_dep, para que fique na forma BCNF?

instrutor e department

Qual é o relaxamento da BCNF para garantir a preservação da dependência?

<p>Terceira forma normal</p> Signup and view all the answers

Se um esquema relacional está na forma BCNF, ele também está na 3FN.

<p>True (A)</p> Signup and view all the answers

A 3FN é uma forma mais fraca que a BCNF.

<p>True (A)</p> Signup and view all the answers

Qual é o problema que a 3FN pode apresentar, que a BCNF não apresenta?

<p>Redundância</p> Signup and view all the answers

Em relação à normalização, o objetivo é transformar um esquema relacional que não está em “boa” forma em um esquema que esteja em “boa” forma.

<p>True (A)</p> Signup and view all the answers

É possível ter dependências adicionais em um conjunto F de dependências funcionais, que são logicamente implícitas pelo próprio conjunto F.

<p>True (A)</p> Signup and view all the answers

Quais regras são usadas para calcular o fecho de F?

<p>Axiomas de Armstrong</p> Signup and view all the answers

Quais são as três regras de Armstrong?

<p>Reflexiva, de aumento e de transitividade</p> Signup and view all the answers

Quais são as duas características das regras de Armstrong?

<p>Corretas e completas</p> Signup and view all the answers

O que é o fecho de um conjunto de atributos 'a'?

<p>Conjunto de atributos que podem ser funcionalmente determinados pelos atributos em 'a'.</p> Signup and view all the answers

É possível usar o algoritmo de fecho de atributos para testar dependências funcionais.

<p>True (A)</p> Signup and view all the answers

Para testar se um atributo A é estranho em um conjunto de dependências funcionais F, qual o primeiro passo?

<p>Calcular o fecho do conjunto sem a dependência que contém A.</p> Signup and view all the answers

Se, ao remover um atributo A de uma dependência funcional, o fecho do conjunto de dependências funcionais sem a dependência com A, inclui o atributo A, então A é estranho.

<p>True (A)</p> Signup and view all the answers

É possível remover um atributo de uma dependência funcional sem afetar o conjunto de dependências funcionais, se o atributo for estranho.

<p>True (A)</p> Signup and view all the answers

Qual é o nome do conjunto simplificado de dependências funcionais que tem o mesmo fecho que o conjunto original F, e que pode ser usado para verificar a atualização?

<p>Cobertura canónica</p> Signup and view all the answers

Qual é a primeira definição necessária para encontrar a cobertura canónica?

<p>Atributos estranhos</p> Signup and view all the answers

Um atributo de uma dependência funcional em F é considerado "estranho" se podemos removê-lo sem afetar F+.

<p>True (A)</p> Signup and view all the answers

Remover um atributo do lado esquerdo de uma dependência funcional é considerado uma restrição mais fraca.

<p>False (B)</p> Signup and view all the answers

Como podemos verificar se um atributo é estranho?

<p>Usando o algoritmo de fecho de atributos</p> Signup and view all the answers

A cobertura canónica para F é um conjunto de dependências de F que implica logicamente todas as dependências em F, e F também implica todas as dependências em F. Além disso, nenhuma dependência em F possui um atributo estranho, e cada lado esquerdo em F é único.

<p>True (A)</p> Signup and view all the answers

Qual é a regra que pode ser aplicada para encontrar a cobertura canónica?

<p>Regra de união</p> Signup and view all the answers

A regra de união só precisa ser aplicada uma vez para encontrar a cobertura canónica.

<p>False (B)</p> Signup and view all the answers

Qual é o objetivo principal da primeira forma normal (1FN)?

<p>Eliminar atributos multivalor e atributos que combinam múltiplos conceitos.</p> Signup and view all the answers

Um esquema relacional está na primeira forma normal se todos os domínios dos atributos são atómicos.

<p>True (A)</p> Signup and view all the answers

Um esquema relacional com chave simples automaticamente está na segunda forma normal (2FN).

<p>True (A)</p> Signup and view all the answers

A segunda forma normal não considera a dependência entre atributos não-chave.

<p>True (A)</p> Signup and view all the answers

Uma relação está na terceira forma normal se está na segunda forma normal e não há dependência entre atributos não-chave.

<p>True (A)</p> Signup and view all the answers

A terceira forma normal (3FN) se aplica a dependências entre atributos de diferentes chaves.

<p>False (B)</p> Signup and view all the answers

A forma normal de Boyce-Codd (BCNF) é mais restritiva do que a 3FN.

<p>True (A)</p> Signup and view all the answers

Um esquema relacional está na BCNF se está na 3FN e não existem dependências entre subconjuntos de atributos nas chaves.

<p>True (A)</p> Signup and view all the answers

Flashcards

Primeira Forma Normal (1FN)

Uma relação R está na primeira forma normal (1FN) se todos os domínios dos seus atributos são atómicos.

Domínio Atómico

Um domínio é atómico se os seus elementos são considerados unidades indivisíveis.

Segunda Forma Normal (2FN)

Um esquema relacional R está na segunda forma normal (2FN) se está na 1FN e cada atributo não chave depende completamente dos atributos da chave.

Terceira Forma Normal (3FN)

Um esquema relacional R está na terceira forma normal (3FN) se está na 2FN e não existem dependências entre os atributos não chave.

Signup and view all the flashcards

Forma Normal de Boyce-Codd (BCNF)

Uma relação R está na forma BCNF em relação a um conjunto F de dependências funcionais se todas as dependências funcionais em F+ da forma → onde   R e   R , pelo menos uma das seguintes situações é válida: ◦  →  é trivial (ou seja,    ) ◦  é uma superchave para R

Signup and view all the flashcards

BCNF (Regra Geral)

Um esquema relacional R está na BCNF se em todas as dependências funcionais o determinante é uma superchave (ou dependências triviais).

Signup and view all the flashcards

Fecho de um Conjunto de Dependências Funcionais (F+)

O conjunto de todas as dependências funcionais logicamente implícitas por F é o fecho de F. Denotamos o fecho de F por F+.

Signup and view all the flashcards

Axiomas de Armstrong

Podemos calcular F+, o fecho de F, aplicando repetidamente os Axiomas de Armstrong: ◦ Regra reflexiva: se   , então  →  ◦ Regra de aumento : se  → , então   →   ◦ Regra de transitividade : se  → , e  →  , então  → 

Signup and view all the flashcards

Fecho de um Conjunto de Atributos (+)

Dado um conjunto de atributos  define-se o fecho de  sob F (denotado como + ) como o conjunto de atributos que são funcionalmente determinados por  em F

Signup and view all the flashcards

Cobertura Canónica

Considere um conjunto de dependências funcionais F. Podemos reduzir o esforço gasto na verificação, usando um conjunto simplificado de dependências funcionais que tenham o mesmo fecho que o conjunto fornecido. Este conjunto simplificado é denominado cobertura canónica.

Signup and view all the flashcards

Atributos Estranhos em Dependências Funcionais

Um atributo de uma dependência funcional em F é estranho se pudermos removê-lo sem alterar F +

Signup and view all the flashcards

Cobertura Canónica (Características)

A cobertura canónica para F é um conjunto de dependências Fc tal que ▪F implica logicamente todas as dependências em Fc , e ▪Fc implica logicamente todas as dependências em F, e ▪Nenhuma dependência funcional em Fc contém um atributo estranho e ▪Cada lado esquerdo de uma dependência funcional em Fc é único.

Signup and view all the flashcards

Testar se um Atributo é Estranho (lado direito)

Para testar se o atributo A   é estranho em  ◦ Considere o conjunto: F' = ( F – {  →  })  { → (  – A )}, ◦ verifique se + contém A; se contiver, A é estranho em 

Signup and view all the flashcards

Testar se um Atributo é Estranho (lado esquerdo)

Para testar se o atributo A   é estranho em  ◦ Seja  =  – {A}. Verifique se  →  pode ser inferido de F. ◦ Calcule  + usando as dependências em F ◦ Se + inclui todos os atributos em  então , A é estranho em 

Signup and view all the flashcards

Relação BCNF e 3FN

Se uma relação está na BCNF, ela está na 3FN (já que na BCNF uma das duas primeiras condições acima deve ser válida). A terceira condição é um relaxamento da BCNF para garantir a preservação da dependência.

Signup and view all the flashcards

Redundância em 3FN

Considere o esquema R abaixo, que está na 3FN

            R = ( J, K, L )
            F = { JK → L, L → K } 
            E a instância:

              Repetição de informação
              É necessário usar valores nulos (por exemplo, para representar o
              relacionamento l 2 , k 2 onde não há valor correspondente para J )
Signup and view all the flashcards

Comparação entre BCNF e 3FN

Vantagens do 3FN sobre a BCNF. É sempre possível obter um desenho na 3FN sem sacrificar a ausência de perdas e a preservação de dependência. Desvantagens da 3FN. ◦ Pode ser necessário usar valores nulos para representar algumas das possíveis associações entre dados. ◦ Pode existir o problema da repetição.

Signup and view all the flashcards

Objetivos da Normalização

Seja R um esquema de relação com um conjunto F de dependências funcionais. Decida se um esquema de relação R está em “boa” forma. No caso de um esquema de relação R não estar em “boa” forma, é necessário decompô-lo num conjunto de esquemas de relação { R1 , R2 ,..., Rn } tais que: ◦ Cada esquema de relação está em “boa” forma ◦ A decomposição é uma decomposição sem perdas ◦ De preferência, a decomposição deve preservar a dependência.

Signup and view all the flashcards

Procedimento para Calcular F+

Para calcular o fecho de um conjunto de dependências funcionais F: F+ = F repeat for each dependência funcional f em F + aplicar regras de reflexividade e aumento em f adicione as dependências funcionais resultantes a F+ for each par de dependências funcionais f 1 e f 2 em F + if f 1 e f 2 podem ser combinados usando transitividade then adicione a dependência funcional resultante a F + until F + não mude mais

Signup and view all the flashcards

Exemplo de Relação em 3FN

Considere um esquema: dept_advisor ( s_ID , i_ID , dept_name ) Com dependências funcionais: i_ID → dept_name s_ID, dept_name → i_ID Duas chaves candidatas = { s_ID , dept_name }, { s_ID , i_ID } Já vimos anteriormente que dept_advisor não está na BCNF No entanto, está em 3FN, pois ◦ s_ID , dept_name é uma superchave ◦ i_ID → dept_name e i_ID NÃO é uma superchave , mas: ◦ { dept_name} – {i_ID } = {dept_name } e ◦ dept_name está contido numa chave candidata

Signup and view all the flashcards

Exemplo de Relação NÃO em BCNF

Assumimos que está na 1FN (todos os domínios atómicos) Está na 2FN, os atributos não-chave dependem completamente das chaves (não há atributos não-chave) Está na 3FN, pois não existem dependências entre atributos não-chave (não há atributos não-chave) Não está na BCFN pois existem dependências entre subconjuntos dos atributos das chaves: i_ID → dept_name

Signup and view all the flashcards

Usos do Fecho de Atributos

Existem vários usos do algoritmo de fecho de atributos: ▪Testar superchave : Para testar se  é uma superchave , calculamos + e verificamos se + contém todos os atributos de R. ▪Testar dependências funcionais Para verificar se uma dependência funcional  →  é válida (i.e., está em F + ), basta verificar se   +. Ou seja, calculamos + usando o fecho de atributo e então verificamos se contém . ▪Calcular o fecho de F Para cada   R, encontramos o fecho + , e para cada S  + , produzimos uma dependência funcional  → S.

Signup and view all the flashcards

Study Notes

Formas Normais

  • As Formas Normais são um conjunto de regras para projetar bancos de dados relacionais.
  • Elas visam minimizar a redundância de dados e melhorar a integridade.
  • As formas normais são usadas para identificar e eliminar problemas como redundância, anomalias de atualização, inserção e exclusão.

Primeira Forma Normal (1FN)

  • Um domínio é atômico se seus elementos são considerados unidades indivisíveis.
  • Exemplos de domínios não atômicos:
    • Atributos múltiplos (números de telefone).
    • Atributos com informações de vários conceitos (ex: C1.25 – Edifício C, piso 1, sala 25).

Segunda Forma Normal (2FN)

  • Um esquema relacional está na segunda forma normal (2FN) se estiver na 1FN e cada atributo não chave depender completamente da chave.
  • Se estiver na 1FN e a chave for simples, está na 2FN.

Terceira Forma Normal (3FN)

  • Um esquema de relação está na terceira forma normal (3FN) se estiver na 2FN e não existirem dependências entre atributos não chave.

Boyce-Codd Normal Form (BCNF)

  • Uma relação está na Forma Normal de Boyce-Codd (BCNF) se, para todas as dependências funcionais, o determinante for uma superchave.
  • Um esquema relacional está na BCNF se estiver na 3FN e não existirem dependências entre subconjuntos dos atributos das chaves.

Fecho de um conjunto de dependências funcionais

  • Dado um conjunto F de dependências funcionais, existem outras dependências funcionais implicitamente presentes.
  • O conjunto de todas as dependências funcionais logicamente implícitas por F é o fecho de F.

Cobertura Canônica

  • Um conjunto de dependências funcionais simplificado que possui o mesmo fecho.
  • É usado para reduzir o esforço de verificação e garantir que a atualização não viole nenhuma restrição funcional.

Atributos estranhos

  • Um atributo de uma dependência funcional é estranho se ele puder ser removido sem alterar o fecho.
  • Pode ser removido tanto do lado esquerdo quanto do lado direito da dependência.

Testar se um atributo é estranho

  • Para testar se um atributo é estranho, é necessário verificar se a remoção do atributo produz um conjunto equivalente de dependências funcionais, sem alterar o fecho.

Studying That Suits You

Use AI to generate personalized quizzes and flashcards to suit your learning preferences.

Quiz Team

Related Documents

Formas Normais – Parte 2 PDF

Description

Este quiz aborda as Formas Normais, um conjunto essencial de regras para o design de bancos de dados relacionais. Você vai aprender sobre a Primeira, Segunda e Terceira Forma Normal e sua importância na minimização da redundância. Teste seus conhecimentos sobre integridade e dependências em esquemas relacionais.

More Like This

Database Relations and Normal Forms
18 questions
Database Normalization
10 questions

Database Normalization

EntertainingEuler avatar
EntertainingEuler
Use Quizgecko on...
Browser
Browser