- Definición de dependencia de funciones:
si hay un patrón (id, nombre), donde id es el código principal.
Entonces la dependencia funcional se puede escribir como id-> nombre - Satisfacer la condición de dependencia funcional (a-> b)
Para todos los pares de tuplas t1 y t2 en la instancia, si t1 [a] = t2 [a], entonces t1 [b] = t2 [b] - Los beneficios de las dependencias funcionales
pueden representar restricciones que no se pueden expresar en supercódigo.
Como stu (id, nombre, sexo, departamento), donde id es el código principal, suponiendo que solo hay dos departamentos (hombres y mujeres).
Luego se establece sexo-> apartamento, porque los niños solo pueden vivir en el dormitorio de los niños. Entonces el género puede restringir los edificios de apartamentos - Dependencia funcional ordinaria
Si a contiene b, entonces la dependencia funcional a-> b se llama ordinaria - Armstrong axioma
- Ley reflexiva: si a es un conjunto de atributos y a contiene b, entonces a-> b
- Ley suplementaria: si a-> byr es un conjunto de atributos, entonces ar-> br
- Ley de transferencia: si a-> b, b-> c, entonces a-> c se cumple
- Inferencia
- Ley de fusión: si a-> b, a-> c, entonces a-> bc
- Ley de descomposición: si a-> bc, entonces a-> b, a-> c
- Ley de seudotransferencia: si a-> b, bc-> r, entonces ac-> r
Ejemplo simple
| UN | si | C | re |
|---|---|---|---|
| A1 | b1 | c1 | D1 |
| A1 | b2 | c1 | d2 |
| a2 | b2 | c2 | d2 |
| a2 | b3 | c2 | d3 |
| a3 | b3 | c2 | d4 |
Se puede decir que A-> C (para a3 y c2, porque no hay otra tupla A cuyo valor sea a3, por lo que a3 puede determinar únicamente c2)
C-> A no está satisfecho.
AB-> C, AB-> D establecido
