Академический Документы
Профессиональный Документы
Культура Документы
Teor!a de la normalizaci"n
# Consiste en un conjunto de conceptos que permiten conocer el grado de correcci"n de un esquema de base de datos relacional.
3.1
Dependencia funcional
Ha_escrito(DNI, nombre, ISBN, t!tulo, pesetas)* CP: {DNI, ISBN}
DNI 17.897.569 17.897.569 54.325.658 54.325.658 15.236.588 nombre Pepe Prez Pepe Prez Juan Gmez Juan Gmez Mara Bur ISBN 1254567W 458264R 458264R 1254567W 8524697Y ttulo El corsario Pistas Pistas El corsario Dependencias pesetas 236.563 100.000 250.000 25.369 132.566
3.1
Dependencia funcional: se da cuando el valor de un conjunto de atributos (X) en una relaci"n determina el valor de otros atributos (Y) en cada tupla en que aparezca.
Para cualquier par de tuplas t1 y t2 posibles en R tales que t1[X] = t2[X] se debe cumplir que t1[Y] = t2[Y] Se denota por X ! Y, y se lee como X determina a Y o Y depende funcionalmente de X. Las dependencias funcionales son propiedades de los atributos y no deben deducirse de la observacin de una extensin concreta de una relacin.
DNI 17.897.569 17.897.569 54.325.658 54.325.658 15.236.588 nombre Pepe Prez Pepe Prez Juan Gmez Juan Gmez Mara Bur ISBN 1254567W 458264R 458264R 1254567W 8524697Y ttulo El corsario Pistas Pistas El corsario Dependencias pesetas 236.563 100.000 250.000 25.369 132.566
3.1
3.1
Reglas de inferencia
(R1) Regla reflexiva: si Y X entonces X Y Ej.: {DNI, ISBN} {DNI} Ej.: {DNI, ISBN} {ISBN}
3.1
Ej.: {DNI} {nombre} ! {DNI, ISBN} {nombre, ISBN} {DNI, ISBN} {nombre}
3.1
Reglas de inferencia
(R4) Regla de descomposicin: si X Y Z entonces X Y X Z Ej.: {DNI, ISBN} {nombre, ttulo} ! {DNI, ISBN} {nombre}, y {DNI, ISBN} {ttulo}
{DNI, ISBN} {nombre} y {DNI, ISBN} {ttulo} {DNI, ISBN} {nombre, ttulo}
3.1 Teora de la normalizacin Conceptos previos Reglas de inferencia (R6) Regla pseudotransitiva: si X Y W Y Z Ej.: {DNI} {nombre} {ISBN, nombre} {ttulo} {ISBN, DNI} {ttulo} ! entonces W X Z
3.1
.{DNI} {nombre} .{DNI, ISBN} {nombre} .{DNI, ttulo} {nombre} .{DNI, ISBN, ttulo} {nombre} .{DNI, ISBN, pesetas} {nombre} .{DNI, ISBN, ttulo, pesetas} {nombre} .{ISBN} {ttulo} .{ISBN, DNI } {ttulo} .{ISBN, pesetas} {ttulo}
.{ISBN, DNI, nombre} {ttulo} .{ISBN, DNI, nombre, pesetas} {ttulo} .{DNI, ISBN} {pesetas} .{DNI, ISBN, nombre} {pesetas} .{DNI, ISBN, ttulo} {pesetas} .{DNI, ISBN, nombre, ttulo} {pesetas}
3.1
Dependencia funcional completa Una dependencia funcional X Y entre dos conjuntos de atributos es completa si la eliminaci"n de cualquier atributo Ai de X hace que la dependencia deje de existir. {DNI, ISBN } {pesetas}
3.1
Conjunto de inter$s (CI) Un conjunto de inter$s de una relaci"n es un conjunto de dependencias funcionales que basta considerar para normalizar esa relaci"n. No es %nico, pero es m!nimo. En cada dependencia funcional X Y incluida en $l
Ha_escrito(DNI: dom_dni, nombre: dom_nom, ISBN: dom_IS, t!tulo: dom_tit, pesetas: dom_pes) CP: {DNI, ISBN}
3.1
Teor!a de la normalizaci"n.
Diagrama de dependencias funcionales Permite una representaci"n gr&fica de las dependencias funcionales facilitando su estudio. Normalmente s"lo se representan las dependencias funcionales del conjunto de inter$s.
dni pesetas
nombre
ISBN
ttulo
Clave de una relaci"n Se dice que un subconjunto C de atributos del esquema de la relaci"n R es una clave de R - si es la clave primaria de R - o bien si tiene una restricci"n de unicidad. En ese caso, todos los atributos restantes de R dependen funcionalmente de C
Atributo primo Un atributo de una relaci"n R es primo si forma parte de alguna clave de R. Cuando un atributo no sea primo se utilizar& la expresi"n no-primo.
3.1
Teor!a de la normalizaci"n.
Definici"n de la 1FN Una relaci"n R est& en 1FN si sus atributos s"lo pueden tomar valores at"micos (simples, indivisibles).
dom_nom: cad(40) dom_conj_tel: conjunto de dom_tel dom_calle: cad(40) dom_dir: registro de [calle: dom_calle; dom_ciu] n%mero: dom_n%m; ciudad:
Proveedor(vcod: dom_vcod, nombre: dom_nom, calle: dom_calle; n%mero: dom_n%m; ciudad: dom_ciu) Clave Primaria: {vcod} Lista_tel(vcod: dom_vcod, tel$fono: dom_tel) Clave Primaria: {vcod, tel$fono} Clave Ajena: {vcod} hace referencia a Proveedor donde los dominios son los siguientes:
Segunda forma normal (2FN) con una sola clave Definicin de la 2FN Una relacin R est en 2FN si est en 1FN y todos sus atributos no-primos dependen funcionalmente de forma completa de la clave primaria.
3.3 Teor!a de la normalizaci"n. Segunda forma normal (2FN) Segunda forma normal (2FN) con una sola clave
nombre ttulo
3.3 Teor!a de la normalizaci"n. Segunda forma normal (2FN) Segunda forma normal (2FN) con una sola clave Autor(DNI: dom_dni, nombre: dom_nom) Clave Primaria: {DNI} Libro(ISBN: dom_IS, ttulo: dom_tit) Clave Primaria: {ISBN} Ha _escrito(DNI: dom_dni, ISBN: dom_IS, pesetas: dom_pes) Clave Primaria: {DNI, ISBN} Clave Ajena: {DNI} hace referencia a Autor Clave Ajena: {ISBN} hace referencia a Libro
Autor
3.3 Teor!a de la normalizaci"n. Segunda forma normal (2FN) con una sola clave.
Libro
15.236.588
3.3 Teor!a de la normalizaci"n. Tercera forma normal (3FN) con una sola clave Definicin de la 3FN Una relacin R est en 3FN si est en 2FN y ningn atributo no-primo depende funcionalmente de forma transitiva de la clave primaria.
vcod V1 V2 V3
cod_provincia 46 12 46
3.3 Teor!a de la normalizaci"n. Tercera forma normal (3FN) con una sola clave
vcod
3.3 Teor!a de la normalizaci"n. Tercera forma normal (3FN) con una sola clave
Provincia(cod_provincia: dom_codp, nom_provincia: dom_nomp) Clave Primaria: {cod_provincia}
Proveedor(vcod: dom_vcod, nombre: dom_nom, cod_provincia: dom_codp) Clave Primaria: {vcod} Clave Ajena: {cod_provincia} hace referencia a Provincia
3.3 Teor!a de la normalizaci"n. Tercera forma normal general (3FNG) Definicin de la Tercera forma normal general (3FNG) : Una relacin est en 3FN si para toda dependencia X A (donde A es un nico atributo) se cumple una de las dos condiciones siguientes: 1) X contiene alguna clave, o 2) A es un atributo primo Si hay dependencias funcionales que no cumplen ninguna de las dos condiciones, hay que descomponer la relacin de la misma manera que se haca en la 3FN.
3.3 Teor!a de la normalizaci"n. Tercera forma normal general (3FNG) Cuando hay ms de una clave en una relacin pueden darse: a) Relaciones que a pesar de no estar en 3FN no presentan redundancias. b) Relaciones que estn en 3FN y presentan redundancias.
3.3 Teor!a de la normalizaci"n. Tercera forma normal general (3FNG) a) Socio(num_socio: dom_num, nombre: dom_nombre, edad: dom_edad, DNI:dom_dni) Clave Primaria: {num_socio} nico: {DNI}
num_socio dni
edad
nombre
3.3 Teor!a de la normalizaci"n. Tercera forma normal general (3FNG) Colegio(curso:dom_cur,cod_grupo:dom_gru,DNI_delegado: dom_DNI, aula: dom_aula) Clave Primaria: {curso, cod_grupo} nico: {aula, cod_grupo}
D N I_d ele gad o
cod_gru po
curso aula
3.3 Teor!a de la normalizaci"n. Tercera forma normal general (3FNG) Si se descompone segn la 3FN Aula(aula: dom_aula, curso: dom_cur) Clave Primaria: {aula} Colegio(aula: dom_aula, cod_grupo: dom_gru, DNI_delegado: dom_DNI) Clave Primaria: {aula, cod_grupo} Clave Ajena: {aula} hace referencia a Aula se pierde la dependencia funcional {curso, cod_grupo} {aula}, que habra que expresar con una RI.
3.3 Teor!a de la normalizaci"n. Tercera forma normal general (3FNG) Es preferible conservar la relacin original: Colegio (curso: dom_cur, cod_grupo: dom_gru, DNI_delegado: dom_DNI, aula: dom_aula) CP: {curso, cod_grupo} nico: {aula, cod_grupo} En la que queda implcita la dependencia funcional {aula } {curso}.
Equipo
Jugador
A signatura
Profesor
RI:Todo profesor responsable de una asignatura, la imparte. Profesor(DNI: dom_ DNI, nombre: dom_ nombre) CP: {DNI} VNN:{Profesor} Asignatura(cod: dom_cod, Ttulo: dom_Ttulo, DNI: dom_DNI) CP: {cod} VNN:{Ttulo} CA: {DNI} ! Profesor CA: {cod, DNI} ! Imparte Imparte(cod: dom_cod, DNI: dom_ DNI) CP: {cod, DNI} CA: {cod} ! Asignatura CA: {DNI} ! Profesor
an
a1 A
a0 n
r n
b1 B
b0
bm
Restriccin de integridad: Una entidad de B no puede participar dos veces en R con el mismo valor de r.
A(a0: dom_a0, a1: dom_a1,, an: dom_an) Clave Primaria: {a0} B(b0: dom_b0, b1: dom_b1,, bm: dom_bm) Clave Primaria: {b0} R(a0: dom_a0, b0: dom_b0,r: dom_r) Clave Primaria: {a0, b0} nico: {b0 , r} Clave Ajena: {a0} hace referencia a A Clave Ajena: {b0} hace referencia a B
1) Investigar la transaccin para concretar sobre qu objetos (entidades o relaciones) acta y con qu operacin (insercin, borrado o modificacin). 2) Determinar en qu relaciones del esquema relacional se encuentran representados esos objetos y qu operacin debe utilizarse. 3) Sustituir en la transaccin conceptual las operaciones sobre objetos del diagrama Entidad-Relacin por operaciones sobre las relaciones del esquema relacional en las que se representan esos objetos.
El conjunto de operaciones bsicas permitidas ser: operacin_bsica ::= sentencia_insert | sentencia_delete | sentencia_update utilizando para ello las operaciones de SQL estndar
La sintaxis de definicin de una transaccin es la siguiente: TRANSACCIN nombre_transaccin (parmetro: tipo, ) INICIO_TRANSACCIN /*conjunto de operaciones bsicas que componen la transaccin expresadas como una secuencia, y en las que se pueden utilizar mecanismos de iteracin, seleccin, dilogo con el usuario, mensaje, interrupcin de la transaccin, */ FIN_TRANSACCIN