Explora Libros electrónicos
Categorías
Explora Audiolibros
Categorías
Explora Revistas
Categorías
Explora Documentos
Categorías
Francisco Moreno
O también:
y depende funcionalmente de x
CP CA PROVEEDOR
NIT nombre calif ciudad
101 Colanta A Bello
201 Alpina A Rionegro
973 Alquería B Bello
Si A B entonces AC BC
3. Transitividad
Si A B y B C entonces A C
24/07/21 Bases de Datos I 12
Teoremas
1. Autodeterminación
AA
Demostración
2. Descomposición
Si A BC, entonces: A B
AC
Demostración
4. Composición
Si A B
entonces AC BD
CD
Demostración
24/07/21 Bases de Datos I 14
5. Teorema de Unificación de Darwen
Si AB
CD
Entonces: A {C – B} BD
Tarea:
Tarea Demostrarlo.
A BC
S BE
CD EF
+
Determinar K S, para K = AB y para K = CDA
+
• ¿Cuál es el significado de K ? S
• ¿Cuál es su utilidad?
Repeat {
- Si existen x y x z sustituir por x yz
- Si existe alguna DF con un atributo
extraño, eliminarlo de dicha DF (Nota: si al eliminarlo el
lado derecho queda vacío*, eliminar la DF, ver ejemplo)
} Until S no cambie
} Ver documento anexo en
la página del curso
* Se trata de una DF trivial, ya que el conjunto
vacío es subconjunto de cualquier conjunto
24/07/21 Bases de Datos I 21
(axioma de reflexión).