- Definição de dependência de função:
Se houver um padrão (id, nome), em que id é o código principal.
Em seguida, a dependência funcional pode ser escrita como id-> name - Satisfação da condição de dependência funcional (a-> b)
Para todos os pares de tuplas t1 e t2 na instância, se t1 [a] = t2 [a], então t1 [b] = t2 [b] - Os benefícios das dependências funcionais
podem representar restrições que não podem ser expressas no super código.
Como stu (id, nome, sexo, apartamento), onde id é o código principal, assumindo que haja apenas dois apartamentos (homens e mulheres).
Então o sexo-> apartamento é estabelecido, porque os meninos só podem morar no dormitório dos meninos. Assim, o gênero pode restringir prédios de apartamentos - Dependência funcional comum
Se a contém b, então a dependência funcional a-> b é chamada de comum - Axioma de Armstrong
- Lei reflexiva: se a é um conjunto de atributos e a contém b, então a-> b
- Lei complementar: se a-> b e r é um conjunto de atributos, então ar-> br
- Lei de transferência: se a-> b, b-> c, então a-> c vale
- Inferência
- Lei das concentrações: se a-> b, a-> c, então a-> bc
- Lei da decomposição: se a-> bc, então a-> b, a-> c
- Lei de pseudo-transferência: se a-> b, bc-> r, então ac-> r
Exemplo simples
| UMA | B | C | D |
|---|---|---|---|
| a1 | b1 | c1 | D1 |
| a1 | b2 | c1 | d2 |
| a2 | b2 | c2 | d2 |
| a2 | b3 | c2 | d3 |
| a3 | b3 | c2 | d4 |
Pode-se dizer que A-> C (para a3 e c2, porque não há outra tupla A cujo valor é a3, então a3 pode determinar exclusivamente c2)
C-> A não é satisfeito.
AB-> C, AB-> D estabelecido
