Professional Documents
Culture Documents
PUEBLA.
Otoo 2012
1
Objetivos:
Pginas
4
4
10
12
13
14
14
16
20
21
22
24
27
27
30
30
32
33
35
37
37
38
39
42
42
44
49
59
66
67
79
Estudio de viabilidad.
Obtencin y anlisis de requerimientos.
Especificacin de Requerimientos.
Validacin de requerimientos.
Estudio de viabilidad.
Christel y Kang identifican una serie de problemas que nos ayudan a
comprender por qu la obtencin de requisitos es costosa.
problemas de alcance. El lmite del sistema est mal definido o los detalles
ayudar a o para apoyar a que permiten saber el tipo de usuarios que tendr el
software y para qu se usar. Otra estrategia que propone es que el desarrollador
se d una vuelta por el ambiente de trabajo donde se usar el software, esto
permite ver a los usuarios y el tipo de cosas que necesitan que el sistema haga
para apoyarlos en su trabajo diario. Una estrategia ms, indica que se haga una
lista de caractersticas o cualidades que deber tener el software, la que se puede
escribir en orden de importancia.
Los requerimientos deben formularse de forma clara, precisa y no
ambigua. Para eso pueden usarse varias tcnicas al mismo tiempo: el lenguaje
natural, que es claro para el cliente pero ambiguo; el modelado grfico, que es
ms claro para el desarrollador y no es ambiguo, pero puede no ser claro para el
cliente; prototipo de interfaz de usuario, til para ambos pues es una
representacin visual de lo que har el software.
Hay dos tipos de requerimientos: los funcionales y los no funcionales.
Los funcionales incluyen:
Las entradas y salidas de datos, los clculos o las funciones del software.
Los requerimientos funcionales de un sistema describen la funcionalidad o
los servicios que se espera que ste provea. Estos dependen del tipo de
software y del sistema que se desarrolle y de los posibles usuarios del
software. Cuando se expresan como requerimientos del usuario,
habitualmente se describen de forma general, mientras que los
requerimientos funcionales del sistema describen con detalle la funcin de
ste, sus entradas y saludas, excepciones, etc.
7
Validacin de Requerimientos.
Esta actividad comprueba la veracidad, consistencia y completitud de los
requerimientos. Durante este proceso, inevitablemente se descubren errores en el
documento de requerimientos. Se debe modificar entonces para corregir estos
problemas.
El documento de especificaciones de requerimientos del software (SRS) es
la declaracin oficial de qu deben implementar los desarrolladores del sistema.
Debe incluir tanto los requerimientos del usuario para el sistema como una
especificacin detallada de los requerimientos del sistema.
El documento de requerimientos tiene un conjunto diverso de usuarios que
va desde los altos cargos de la organizacin que pagan por el sistema, hasta los
ingenieros responsables de desarrollar el software. La diversidad de posibles
usuarios significa que el documento de requerimientos tiene que presentar un
equilibrio entre la comunicacin de los requerimientos a los clientes, la definicin
de los requerimientos en el detalle exacto para los desarrolladores y probadores, y
la inclusin de informacin sobre la posible evolucin del sistema. Figura 1.3
10
11
12
13
para
Expresividad:
Los modelos de datos describen las relaciones entre los datos que forman
una base de datos.
No se refieren en ningn momento a los valores especficos que un
elemento de datos debe tomar.
Tratan a los datos como grupos genricos, que pueden tomar cualquier
conjunto de valores especficos
Representacin de Datos
tems/Entidades/Objetos [sustantivos]:
Objetos que existen en el mundo y que son distinguibles de otros (un
libro, un autor, un tema...).
Atributos [adjetivos]:
Propiedades asociadas a un conjunto de entidades (ISBN, nombre).
Relaciones/Conexiones/Asociaciones [verbos]:
Conexiones semnticas entre dos conjuntos de entidades (escribe, trata...).
Un esquema es una descripcin de una coleccin particular de datos
usando un modelo de datos especfico.
Un Sistema Manejador de Bases de Datos (SGBD) soporta un modelo de
datos, que es usado para describir el esquema de la base de datos a utilizar.
Existen varios modelos de datos. Figura 2.1.
Modelo
Modelo
Modelo
Modelo
Modelo
Modelo
15
16
17
19
21
entidades.
Por ejemplo
23
24
25
26
Relacin Obligatoria
Relacin Opcional
Debe
Puede
30
Subtipo
ALUMNO
# Cdigo
* Nombre
Sexo
* Beca
31
supertipo
# Cdigo
* Nombre
Sexo
PROFESOR
* Salario
Subtipo
ALUMNO
* Beca
2.3.8 Agregacin
La agregacin es una abstraccin a travs de la cual las relaciones se
tratan como entidades de nivel ms alto. As, para este ejemplo, se considera el
conjunto de relaciones trabaja-en (que relaciona los conjuntos de entidades
empleado, sucursal y trabajo) como un conjunto de entidades de nivel ms alto
denominado trabaja-en. Tal conjunto de entidades se trata de la misma forma que
cualquier otro conjunto de entidades. Se puede crear entonces una relacin binaria
dirige entre trabaja-en y director para representar quin dirige la tarea. Figura
2.10.
32
33
34
36
3.2.1
40
terminologa relacional con la que corresponde a las tablas y a los ficheros. Figura
3.3.
RELACIN
TABLA
TUPLA
FILA
ATRIBUTO
COLUMNA
GRADO
NMERO DE COLUMNAS
CARDINALIDAD
NMERO DE FILAS
Figura 3.3. Relacin de terminologa en MR.
FICHERO
REGISTRO
CAMPO
NMERO DE CAMPOS
NMERO DE REGISTROS
3.2.2
Dominio y Atributo.
Dominio:
Este conjunto finito de valores es homogneo porque son todos del mismo
tipo y atmicos porque son indivisibles en lo que al modelo se refiere.
3.2.3
Claves.
Llave Primaria
43
3.2.4 Restricciones.
Nulos
Cuando en una tupla un atributo es desconocido, se dice
q u e e s nulo.
U n n u l o n o representa el valor cero ni la cadena vaca, stos son
valores que tienen significado. El nulo implica ausencia de informacin, bien
porque al insertar la tupla se desconoca el valor del atributo, o bien porque para dicha
tupla el atributo no tiene sentido. Y a q u e l o s n u l o s n o s o n v a l o r e s , d e b e n
t r a t a r s e d e m o d o d i f e r e n t e , l o q u e c a u s a problemas de implementacin.
De hecho, no todos los SGBD relacionales soportan los nulos.
Cada tabla debe tener una llave que identifique de manera nica cada tupla.
Una tupla de una tabla que referencia otra tabla DEBE referirse a una tupla
existente en esa tabla.
Regla de los nulos: Tiene sentido que la clave ajena acepte nulos?
44
45
12.
Regla de la no subversin: Si un SGBD soporta un lenguaje de
bajo nivel que permite el acceso fila a fila, ste no puede utilizarse para
saltrselas reglas de integridad expresadas por medio del lenguaje de ms
alto nivel
47
Ejercicio
48
1.
2.
3.
4.
5.
6.
7.
8.
9.
Unin.
Interseccin.
Diferencia.
Producto Cartesiano.
Restriccin o seleccin
Proyeccin.
Reunin o Join.
Divisin.
Asignacin.
union:
r U s = {t | t r v t s}
Diferencia :
r s = {t | t r ^ t s}
producto cartesiano :
r x s = {t | t= trts where tr r ^
Seleccin:
p(r)
Proyeccin:
A(r)
ts s}
49
Instancia de la BD
Unin
r U s = {t | t r V t s}
Las relaciones r y s deben ser COMPATIBLES en UNION
1) El grado de r y s debe ser el mismo (mismo nmero de atributos)
2) El dominio de atributo ith de r debe ser el mismo dominio del atributo ith
de s.
50
Ejemplo
Query:
NAME
CLASS
1111
Student1
FR
2222
Student2
SO
3333
Student3
JR
4444
Stuent4
SR
5555
Student5
GR
6666
Student6
SR
Diferencia.
r s = {t | t r ^ t s}
Restriccin: r y s DEBEN SER compatibles en UNION
51
Ejemplo
Query: Obtenga la informacin de los estudiantes con especialidad en
Ciencias Computacionales y que no tengan especialidad en Ingeniera elctrica
(Electrical Engineering)
Respuesta:
Schema:
cse_majors eee_majors
ID, NAME, CLASS
cse_majors eee_majors
ID
NAME
CLASS
1111
Student1
FR
3333
Student3
JR
5555
Student5
GR
Producto Cartesiano
r x s = {t | t= trts where tr r ^
ts s}
cse_profs x cse_courses
NAME
OFFICE
CRSID
CRSTITLE
Prof1
Office1
PR1
Programacin I
Prof1
Office1
DB1
Bases de Datos I
Prof1
Office1
IA1
Sistemas Inteligentes
Prof2
Office2
PR1
Programacin I
Prof2
Office2
DB1
Bases de Datos I
Prof2
Office2
IA1
Sistemas Inteligentes
Seleccin
p(r)
Selecciona las tuplas de r que satisfacen el
P es un predicado que expresa una condicin sobre atributos de r.
predicado
Query: Escriba el query que liste la informacin de los estudiantes con clasificacin
SR (seniors ) y que tengan su especialidad en Ciencias Computacionales
Respuesta:
class=SR
(cse_majors)
class=SR
(cse_majors)
ID
NAME
CLASS
4444
Student4
SR
53
Proyeccin
A(r)
NAME
1111
Student1
2222
Student2
3333
Student3
4444
Student4
5555
Student5
Operadores Complementarios
Interseccin
Join
Natural Join
Divisin
54
Interseccin
r s= r (r s)
Restriccin: r y s deben ser compatibles en unin
Query: Escriba el query que muestre la informacin de los estudiantes que
tengan como especialidad (major) AMBAS Ciencias Computacionales e
Ingeniera Elctrica.
Solucin: cse_majors eee_majors
Schema: ID, NAME, CLASS
cse_majors
eee_majors
ID
NAME
CLASS
2222
Student2
SO
4444
Student4
SR
-JOIN
r
s=
(r x s)
NAME=TNAME
teaches
55
cse_profs
NAME=TNAME
teaches
NAME
OFFICE
TNAME
TCRSID
Prof1
Office1
Prof1
PR1
Prof1
Office1
Prof1
DB1
Prof2
Office2
Prof2
IA1
JOIN NATURAL
r
s=
donde R
Es decir, r
(R U S)
(r
r.A1=s.A1
r.An=s.An
s)
S = {A1, , An}
s es la relacin que resulta de la proyeccin de R U S de un
S.
(cse_courses
teaches)
(cse_courses
teaches)
56
NAME
OFFICE
CRSID
CRSTITLE
Prof1
Office1
PR1
Programacin I
Prof1
Office1
DB1
Bases de Datos I
Prof2
Office2
IA1
Sistemas
Inteligentes
Outer Join
Natural Join
Solamente las tuplas R de que coinciden con las tuplas de S (and viceversa)
aparecen en el resultado. Tuplas que no coinciden, son eliminadas del resultado.
Las tuplas con NULL en los atributos del JOIN son tambin eliminadas.
Left outer Join
Todas las tuplas de la primera relacin r aparecen en el resultado de la
operacin r outer-join s. Si los valores campos del join coinciden, se colocan los
valores correspondientes, y si no coinciden, se pone NULL en los atributos de s
Right outerjoin (r right outer-join s)
Todas las tuplas de la segunda relacin s aparecen en el resultado
Full outerjoin (r full outer-join s)
Todas las tuplas r y s aparecen en el resultado
57
58
59
Reglas de Mapeo
R1 Mapeo de Entidades.
R2 Mapeo de Atributos Simples y Compuestos.
R3 Mapeo de relaciones 1:1.
R4 Mapeo de relaciones 1:N.
R5 Mapeo de relaciones M:N.
R6 Mapeo de atributos multivalor.
R7 Mapeo de Entidades dbiles.
R8 Mapeo de relaciones recursivas.
R9 Mapeo de atributos derivados.
60
61
62
63
64
Reglas de Mapeo
Ejercicio de Mapeo
65
Solucin
Estas formas normales estn anidadas, es decir que para que una
relacin este en 3FN debe haber pasado por 2FN y esta por 1FN.
Los objetivos principales de la normalizacin son:
1) Eliminar cierto tipo de redundancia.
2) Evitar anomalas de actualizacin e insercin.
3) Simplificar las restricciones de integridad.
4) Producir un diseo que sea fcil de entender intuitivamente y
constituya una buena
base para el futuro.
Claves o llaves
Claves o llaves. Es el atributo que le da la diferencia a cada tabla, este
atributo hace que no tengamos tuplas o filas repetidas.
MATRICULA
NOMBRE
APELLIDO PATERNO
200812345
ARTURO
RIOS
200712345
PEDRO
LOPEZ
200323445
ADRIANA
AGUILAR
68
69
Una vez que escogemos el atributo NumPed como el atributo clave por ser
nico. Procedemos a identificar grupos repetitivos.
70
Grupo
Repetitivo.
Lneas de
productos
pedidos
71
Entonces para resolver este problema ser necesario aplicar las siguientes fases
de normalizacin (2FN, 3FN) a este modelo para eliminar los problemas que
presenta.
Para Continuar debemos entender el concepto de Dependencia Funcional
Completa: esto quiere decir que cada atributo no llave debe depender
completamente de la llave clave, no parcialmente.
72
Por lo tanto de las dos relaciones que tenemos an slo la segunda tiene una
llave compuesta:
73
Continuando con la segunda forma normal vemos claramente que los atributos
CantPed y SubTtlProd dependen funcional y completamente de NumPed y
NumProd, sin embargo:
Por lo tanto se crea una nueva relacin para los atributos que dependan de
cada parte de la clave:
74
75
76
77
78
APNDICE
EJERCICIOS DEL CAPITULO DOS.
Instrucciones: Lea con atencin el siguiente problema, y luego modele E-R
Ejercicio 1. PARQUES NATURALES
Una comunidad autnoma (CA) puede tener varios parques naturales. En toda
comunidad autnoma existe un y slo un organismo responsable de los parques.
Un parque puede estar compartido por ms de una comunidad autnoma.
Un parque natural se identifica por un nombre, fue declarado en una fecha, se
compone de varias reas identificadas por un nombre y caracterizadas por una
determinada extensin. Por motivos de eficiencia se desea favorecer las consultas
referentes al nmero de parques existentes en cada comunidad y la superficie total
declarada parque natural en cada CA.
En cada rea forzosamente residen especies que pueden ser de tres tipos:
vegetales, animales y minerales. Cada especie tiene una denominacin cientfica,
una denominacin vulgar y un nmero inventariado de individuos por rea. De las
especies vegetales se desea saber si tienen floracin y en qu perodo se produce
sta; de las animales se desea saber su tipo de alimentacin (herbvora, carnvora
u omnvora) y su perodo de celo anual; de las minerales se desea saber si se trata
de cristales o de rocas.
Interesa almacenar a los empleados que son jefes de proyecto junto con su
dedicacin total en horas prevista a cada proyecto as como el coste de su
participacin en euros, teniendo en cuenta que cada proyecto lo lidera un nico
jefe de proyecto. En cuanto a los informticos que participan en los proyectos, se
quiere conocer los que son programadores, as como el nmero de horas totales
previstas dedicadas en cada proyecto y el coste en euros. Adems se almacenar
los lenguajes de programacin que dominan cada uno de los programadores.
En cada fase de un proyecto se generan una serie de productos (software)
sobre los que se quiere guardar informacin. Cada producto previsto para una fase
tiene un cdigo, un nombre, una descripcin, una versin, si est finalizado o no y
tiene como participantes a varios programadores, pero solo un jefe de proyecto.
Ejercicio 3. PUBLICACIONES
El departamento de Informtica de una Universidad, necesita una base de
datos para almacenar informacin concerniente a los proyectos de investigacin
tanto actuales como pasados en los que trabajan los profesores y as poder llevar
una gestin ms eficiente. La informacin que se desea almacenar corresponde a
los siguientes supuestos:
En el departamento los profesores participan en proyectos de investigacin
caracterizados por un cdigo de referencia nico, por un nombre, un acrnimo, un
presupuesto total, el programa de I+D que lo financia, una fecha de inicio y una
fecha de finalizacin y una breve descripcin de los objetivos del proyecto.
En los proyectos trabajan profesores del departamento durante un periodo de
tiempo, es decir, una fecha de inicio y una fecha de fin, pudiendo ocurrir un
profesor trabaje en el mismo proyecto en varias pocas (f_ini, f_fin) diferentes. Un
profesor se identifica por su nombre y apellidos y se caracteriza por su despacho y
telfono y puede trabajar en varios proyectos simultneamente y en un proyecto
de investigacin trabajan varios profesores.
Los proyectos de investigacin producen una serie de publicaciones sobre las
que tambin interesa guardar informacin. Una publicacin se caracteriza por un
nmero en secuencia dentro de cada proyecto de investigacin y se guardar el
ttulo y los profesores que la han escrito; las publicaciones son de dos tipos,
publicaciones en congresos y publicaciones en revista; de las primeras se
almacenar el nombre del congreso, su tipo (nacional o internacional), la fecha de
80
inicio y de fin, el lugar de celebracin, pas y la editorial que ha publicado las actas
del congreso (si es que se han publicado); de las publicaciones en revista interesa
saber el nombre de la revista, la editorial, el volumen, el nmero y las pginas de
inicio y fin.
81
Bibliografa
82