Edición de «Final del 11/04/14 (Bases de Datos)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 23: | Línea 23: | ||
# El problema de falsa sumarización ocurre cuando una transacción está haciendo una operación de agregación (por ejemplo una suma) y al mismo tiempo otra transacción modifica los datos de manera que el resultado se compute sobre pedazos no consistentes (datos más viejos de uno y más nuevos de otro). El lockeo binario resuelve este problema ya que impide el acceso de la segunda transacción a los datos sobre los que está operando la primera. | # El problema de falsa sumarización ocurre cuando una transacción está haciendo una operación de agregación (por ejemplo una suma) y al mismo tiempo otra transacción modifica los datos de manera que el resultado se compute sobre pedazos no consistentes (datos más viejos de uno y más nuevos de otro). El lockeo binario resuelve este problema ya que impide el acceso de la segunda transacción a los datos sobre los que está operando la primera. | ||
# Asumiendo que CODEMP es clave, la relación está en forma normal de Boyce Codd. Ya que las dependencias funcionales serian F = {CODEMP <math>\rightarrow</math> TEL1, CODEMP <math>\rightarrow</math> TEL2, CODEMP <math>\rightarrow</math> TEL3} y todas tienen del lado izquierdo una superclave (en particular una clave). | # Asumiendo que CODEMP es clave, la relación está en forma normal de Boyce Codd. Ya que las dependencias funcionales serian F = {CODEMP <math>\rightarrow</math> TEL1, CODEMP <math>\rightarrow</math> TEL2, CODEMP <math>\rightarrow</math> TEL3} y todas tienen del lado izquierdo una superclave (en particular una clave). | ||
# Se puede averiguar usando el lema que dice: <math>F | # Se puede averiguar usando el lema que dice: <math>F \models X \rightarrow Y \Leftrightarrow Y \subseteq X^+_F </math>. O sea podemos calcular la clausura de X usando las df de F (esto es algoritmico, lo puede hacer una computadora.. una especie de BFS). Esto nos da el conjunto de atributos determinado por X, y luego basta ver que todos los atributos de Y estan dentro. | ||
# Una clave es una superclave minimal. Es un subconjunto de atributos que determinan unívocamente la fila de la tabla. Se define en SQL con la instrucción PRIMARY KEY al momento de crear los datos. | # Una clave es una superclave minimal. Es un subconjunto de atributos que determinan unívocamente la fila de la tabla. Se define en SQL con la instrucción PRIMARY KEY al momento de crear los datos. | ||
# Independencia lógica: capacidad de cambiar el esquema conceptual sin tener que cambiar el externo ni los programas de aplicación. | # Independencia lógica: capacidad de cambiar el esquema conceptual sin tener que cambiar el externo ni los programas de aplicación. |