Podcast
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.
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?
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?
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?
Qual é o relaxamento da BCNF para garantir a preservação da dependência?
Se um esquema relacional está na forma BCNF, ele também está na 3FN.
Se um esquema relacional está na forma BCNF, ele também está na 3FN.
A 3FN é uma forma mais fraca que a BCNF.
A 3FN é uma forma mais fraca que a BCNF.
Qual é o problema que a 3FN pode apresentar, que a BCNF não apresenta?
Qual é o problema que a 3FN pode apresentar, que a BCNF não apresenta?
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.
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.
É 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.
É 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.
Quais regras são usadas para calcular o fecho de F?
Quais regras são usadas para calcular o fecho de F?
Quais são as três regras de Armstrong?
Quais são as três regras de Armstrong?
Quais são as duas características das regras de Armstrong?
Quais são as duas características das regras de Armstrong?
O que é o fecho de um conjunto de atributos 'a'?
O que é o fecho de um conjunto de atributos 'a'?
É possível usar o algoritmo de fecho de atributos para testar dependências funcionais.
É possível usar o algoritmo de fecho de atributos para testar dependências funcionais.
Para testar se um atributo A é estranho em um conjunto de dependências funcionais F, qual o primeiro passo?
Para testar se um atributo A é estranho em um conjunto de dependências funcionais F, qual o primeiro passo?
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.
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.
É possível remover um atributo de uma dependência funcional sem afetar o conjunto de dependências funcionais, se o atributo for estranho.
É possível remover um atributo de uma dependência funcional sem afetar o conjunto de dependências funcionais, se o atributo for estranho.
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?
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?
Qual é a primeira definição necessária para encontrar a cobertura canónica?
Qual é a primeira definição necessária para encontrar a cobertura canónica?
Um atributo de uma dependência funcional em F é considerado "estranho" se podemos removê-lo sem afetar F+.
Um atributo de uma dependência funcional em F é considerado "estranho" se podemos removê-lo sem afetar F+.
Remover um atributo do lado esquerdo de uma dependência funcional é considerado uma restrição mais fraca.
Remover um atributo do lado esquerdo de uma dependência funcional é considerado uma restrição mais fraca.
Como podemos verificar se um atributo é estranho?
Como podemos verificar se um atributo é estranho?
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.
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.
Qual é a regra que pode ser aplicada para encontrar a cobertura canónica?
Qual é a regra que pode ser aplicada para encontrar a cobertura canónica?
A regra de união só precisa ser aplicada uma vez para encontrar a cobertura canónica.
A regra de união só precisa ser aplicada uma vez para encontrar a cobertura canónica.
Qual é o objetivo principal da primeira forma normal (1FN)?
Qual é o objetivo principal da primeira forma normal (1FN)?
Um esquema relacional está na primeira forma normal se todos os domínios dos atributos são atómicos.
Um esquema relacional está na primeira forma normal se todos os domínios dos atributos são atómicos.
Um esquema relacional com chave simples automaticamente está na segunda forma normal (2FN).
Um esquema relacional com chave simples automaticamente está na segunda forma normal (2FN).
A segunda forma normal não considera a dependência entre atributos não-chave.
A segunda forma normal não considera a dependência entre atributos não-chave.
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.
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.
A terceira forma normal (3FN) se aplica a dependências entre atributos de diferentes chaves.
A terceira forma normal (3FN) se aplica a dependências entre atributos de diferentes chaves.
A forma normal de Boyce-Codd (BCNF) é mais restritiva do que a 3FN.
A forma normal de Boyce-Codd (BCNF) é mais restritiva do que a 3FN.
Um esquema relacional está na BCNF se está na 3FN e não existem dependências entre subconjuntos de atributos nas chaves.
Um esquema relacional está na BCNF se está na 3FN e não existem dependências entre subconjuntos de atributos nas chaves.
Flashcards
Primeira Forma Normal (1FN)
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
Domínio Atómico
Um domínio é atómico se os seus elementos são considerados unidades indivisíveis.
Segunda Forma Normal (2FN)
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)
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)
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)
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+)
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
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 (+)
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
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
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)
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)
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)
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
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
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
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
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+
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
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
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
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 flashcardsStudy 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.