path: root/bd/n2.lyx

#LyX 2.3 created this file. For more info see http://www.lyx.org/
\lyxformat 544
\begin_document
\begin_header
\save_transient_properties true
\origin unavailable
\textclass book
\use_default_options true
\maintain_unincluded_children false
\language spanish
\language_package default
\inputencoding auto
\fontencoding global
\font_roman "default" "default"
\font_sans "default" "default"
\font_typewriter "default" "default"
\font_math "auto" "auto"
\font_default_family default
\use_non_tex_fonts false
\font_sc false
\font_osf false
\font_sf_scale 100 100
\font_tt_scale 100 100
\use_microtype false
\use_dash_ligatures true
\graphics default
\default_output_format default
\output_sync 0
\bibtex_command default
\index_command default
\paperfontsize default
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
\use_package amsmath 1
\use_package amssymb 1
\use_package cancel 1
\use_package esint 1
\use_package mathdots 1
\use_package mathtools 1
\use_package mhchem 1
\use_package stackrel 1
\use_package stmaryrd 1
\use_package undertilde 1
\cite_engine basic
\cite_engine_type default
\biblio_style plain
\use_bibtopic false
\use_indices false
\paperorientation portrait
\suppress_date false
\justification true
\use_refstyle 1
\use_minted 0
\index Index
\shortcut idx
\color #008000
\end_index
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
\paragraph_indentation default
\is_math_indent 0
\math_numbering_side default
\quotes_style french
\dynamic_quotes 0
\papercolumns 1
\papersides 1
\paperpagestyle default
\tracking_changes false
\output_changes false
\html_math_output 0
\html_css_as_file 0
\html_be_strict false
\end_header

\begin_body

\begin_layout Standard
Es una familia de modelos propuesta por Peter P.
 Chen en 1976 con extensiones y aportaciones de muchos otros autores, muy
 extendida y soportada por herramientas 
\series bold
CASE
\series default
 (
\emph on
Computer-Aided Software Engineering
\emph default
) de bases de datos.
\end_layout

\begin_layout Section
Entidades
\end_layout

\begin_layout Standard
Una 
\series bold
entidad
\series default
 (
\emph on
entity
\emph default
) es aquello del mundo real con existencia propia distinguible del resto,
 sea esta física o real, o abstracta o conceptual.
 Un 
\series bold
atributo
\series default
 (
\emph on
attribute
\emph default
) es una propiedad de una entidad, de forma que una entidad particular se
 describe por los valores de sus atributos.
\end_layout

\begin_layout Standard
Un 
\series bold
tipo de entidad
\series default
 (
\emph on
entity set
\emph default
) es un conjunto de entidades con los mismos atributos, y describe el 
\series bold
esquema
\series default
 o 
\series bold
intensión
\series default
 para un conjunto de entidades, las 
\series bold
instancias
\series default
 del tipo, con la misma estructura.
 Las instancias de un tipo de entidad se agrupan en un 
\series bold
conjunto de entidades
\series default
 o 
\series bold
extensión
\series default
.
 Representamos un tipo de entidad con un rectángulo que contiene el nombre
 del tipo.
\end_layout

\begin_layout Section
Atributos
\end_layout

\begin_layout Standard
Un atributo se representa con una elipse que contiene su nombre, y se une
 con una línea al tipo de entidad que lo tiene.
 Su 
\series bold
dominio
\series default
 (
\emph on
value set
\emph default
) es el conjunto de valores que puede adoptar.
\end_layout

\begin_layout Standard
Un atributo es 
\series bold
simple
\series default
 si es indivisible o 
\series bold
compuesto
\series default
 si puede dividirse en otros con significado propio, lo que representamos
 uniendo los subatributos con el atributo compuesto en vez de con el tipo
 de entidad.
 Es 
\series bold
almacenado
\series default
 si su valor procede del mundo real o 
\series bold
derivado
\series default
 si se calcula a partir de otra información ya existente, siendo por tanto
 redundante, y en tal caso la elipse se dibuja punteada.
\end_layout

\begin_layout Standard
Es 
\series bold
monovalorado
\series default
 o 
\series bold
monovaluado
\series default
 si solo admite un valor para cada instancia en cada momento, o 
\series bold
multivalorado
\series default
 o 
\series bold
multivaluado
\series default
 si puede tener más de un valor a la vez para la misma entidad, en cuyo
 caso la elipse es doble.
 
\end_layout

\begin_layout Standard
Un atributo es 
\series bold
opcional
\series default
 si su valor puede ser 
\series bold
nulo
\series default
 (
\emph on
null value
\emph default
), que indica que el valor existe pero no se conoce, no se sabe si existe
 o la entidad no tiene un valor aplicable para este.
\end_layout

\begin_layout Standard
La 
\series bold
cardinalidad
\series default
 de un atributo es un par 
\begin_inset Formula $(m,n)$
\end_inset

 donde 
\begin_inset Formula $0\leq m\leq n\leq+\infty$
\end_inset

, 
\begin_inset Formula $m<+\infty$
\end_inset

, que indica que una instancia del padre puede tener un mínimo de 
\begin_inset Formula $m$
\end_inset

 y un máximo de 
\begin_inset Formula $n$
\end_inset

 (o no tener máximo si 
\begin_inset Formula $n=+\infty$
\end_inset

) para el atributo.
 Se indica añadiendo el par a la línea que conecta al atributo con el padre,
 cambiando 
\begin_inset Formula $+\infty$
\end_inset

 por una letra, siendo los valores por defecto 
\begin_inset Formula $(1,1)$
\end_inset

 para atributos monovalorados o 
\begin_inset Formula $(1,+\infty)$
\end_inset

 para multivalorados.
 
\end_layout

\begin_layout Standard
Un atributo 
\series bold
clave
\series default
 o 
\series bold
identificador
\series default
 es uno con valor distinto para cada entidad, y se indica subrayando el
 nombre.
 Una 
\series bold
clave compuesta
\series default
 es un conjunto mínimo de atributos que, juntos, actúan como una clave,
 y se indica añadiendo un punto en cada línea que une un elemento del conjunto
 con su padre, uniendo estos puntos y haciendo esta unión el padre de un
 nuevo atributo con nombre subrayado.
 
\end_layout

\begin_layout Standard
Si hay varias claves, las llamamos 
\series bold
identificadores candidatos
\series default
 (ICs) y, de entre ellas, elegimos uno como 
\series bold
identificador principal
\series default
 (IP), que indicamos añadiendo 
\begin_inset Quotes cld
\end_inset

IP
\begin_inset Quotes crd
\end_inset

 a la línea que lo une con el padre, y llamando al resto 
\series bold
identificadores alternativos
\series default
.
\end_layout

\begin_layout Section
Relaciones
\end_layout

\begin_layout Standard
Un 
\series bold
tipo de relación
\series default
 es una estructura genérica o abstracción de un conjunto de 
\series bold
relaciones
\series default
 o 
\series bold
interrelaciones
\series default
 (
\emph on
relationship
\emph default
), asociación entre varias entidades representadas por el tipo de relación
 y una 
\begin_inset Formula $n$
\end_inset

-upla de entidades con 
\begin_inset Formula $n\geq2$
\end_inset

, donde las tuplas del mismo tipo tienen igual tamaño y cada posición de
 estas tiene valores de un mismo tipo de entidad y cumple un mismo 
\series bold
rol
\series default
 o 
\series bold
papel
\series default
 en la relación.
 
\end_layout

\begin_layout Standard
Un tipo de relación se representa por un rombo que contiene el nombre del
 tipo con una línea de unión al tipo de entidad por cada elemento de las
 relaciones que contiene.
 El rol se puede indicar en esta línea mediante su nombre o se puede inferir
 del orden de lectura de arriba a abajo y de izquierda a derecha según dónde
 se hayan conectado las líneas.
 
\end_layout

\begin_layout Standard
El 
\series bold
grado
\series default
 de un tipo de relación es el número de tipos de entidad que participan.
 Una relación es 
\series bold
binaria
\series default
 si su tipo de relación es de grado 2, 
\series bold
ternaria
\series default
 si es de grado 3, 
\series bold
cuaternaria
\series default
 si es de grado 4 y 
\series bold
reflexiva
\series default
 o 
\series bold
recursiva
\series default
 si es de grado 1.
\end_layout

\begin_layout Standard
La 
\series bold
cardinalidad
\series default
 de una posición en un tipo de relación es el número de relaciones que puede
 haber del tipo en que dicha posición tiene un mismo elemento.
 Se representa igual que la cardinalidad de atributos, en la línea que une
 el tipo de relación con el tipo de entidad, y es obligatorio indicarla.
\end_layout

\begin_layout Standard
Una relación puede tener atributos pero no claves, y se representan poniendo
 el tipo de relación como 
\begin_inset Quotes cld
\end_inset

padre
\begin_inset Quotes crd
\end_inset

 del atributo.
\end_layout

\begin_layout Standard
Un tipo de entidad es 
\series bold
fuerte
\series default
 si tiene un atributo identificador o 
\series bold
débil
\series default
 si no lo tiene, en cuyo caso debe estar en una o varias relaciones de cardinali
dad 
\begin_inset Formula $(1,1)$
\end_inset

 con otros tipos de entidad y, si es necesario, incluir una 
\series bold
clave parcial
\series default
 o 
\series bold
discriminante
\series default
, de forma que, dadas dos entidades distintas del tipo, o estas difieren
 en la entidad fuerte con la que se relacionan para alguna relación, o difieren
 en la clave parcial.
 
\end_layout

\begin_layout Standard
Las claves parciales pueden ser compuestas, puede haber varias y se representan
 como los identificadores pero haciendo el subrayado punteado.
 Para indicar que un tipo de entidad es débil, se rodea de un doble rectángulo
 y se hacen dobles tanto las líneas que las unen con tipos de relación con
 entidades que participan de la identificación como los rombos que representan
 estos tipos de relación.
\end_layout

\begin_layout Standard
A veces una herramienta de diseño solo permite relaciones binarias, en cuyo
 caso podemos representar un tipo de relación entre más entidades como un
 tipo de entidad débil con una relación binaria identificadora por cada
 posición de las relaciones.
\end_layout

\begin_layout Section
Tipos de relación excluyentes
\end_layout

\begin_layout Standard
Dos o más tipos de relación son 
\series bold
exclusivos
\series default
 respecto a una posición de cada uno con un mismo tipo de entidad si cada
 entidad de dicho tipo solo puede participar en uno de los tipos de relación
 en dicha posición.
 Esto se representa con una curva que corta con todas las uniones entre
 el tipo de entidad y los tipos de relación para dichas posiciones.
\end_layout

\begin_layout Standard
Un tipo de entidad puede ser 
\series bold
subtipo
\series default
 de otro, creando una 
\series bold
jerarquía
\series default
 entre tipos de entidad que se puede formar por 
\series bold
especialización
\series default
, partiendo del tipo general y creando a los específicos, o por 
\series bold
generalización
\series default
, partiendo de los específicos y creando el general.
 El tipo de entidad general es el 
\series bold
supertipo
\series default
 de los específicos.
\end_layout

\begin_layout Standard
En general los subtipos están definidos según una característica distintiva
 o 
\series bold
discriminante
\series default
 de las entidades del supertipo.
 Este se representa mediante un círculo sin nombre, que puede tener atributos
 y que se une con una línea al supertipo y con una línea a cada subtipo
 cortada por una línea curvada con los extremos hacia el discriminante.
 Un subtipo puede tener atributos propios específicos y participar en relaciones
, y 
\series bold
hereda
\series default
 todos los atributos del supertipo y relaciones en las que participa.
\end_layout

\begin_layout Standard
Para un cierto discriminante, los subtipos son 
\series bold
solapados
\series default
 (
\emph on
overlapped
\emph default
) si una instancia del supertipo puede serlo de más de un subtipo, opción
 por defecto que puede representarse si se quiere con una 
\begin_inset Quotes cld
\end_inset

o
\begin_inset Quotes crd
\end_inset

 dentro del círculo, o 
\series bold
disjuntos
\series default
 si una instancia del supertipo puede serlo de un solo subtipo como máximo,
 lo que se representa con una 
\begin_inset Quotes cld
\end_inset

d
\begin_inset Quotes crd
\end_inset

 dentro del círculo.
\end_layout

\begin_layout Standard
La especialización puede ser 
\series bold
parcial
\series default
 si puede haber instancias que no pertenecen a ninguno de los subtipos,
 la opción por defecto, o 
\series bold
total
\series default
 o 
\series bold
completa
\series default
 si toda instancia del supertipo debe serlo también de uno de los subtipos,
 lo que se representa haciendo doble la línea que une el supertipo con el
 discriminante.
\end_layout

\end_body
\end_document