Asignaturas actuales

3 files changed, 1079 insertions, 0 deletions

diff --git a/bd/n.lyx b/bd/n.lyx
new file mode 100644
index 0000000..c4b1679
--- /dev/null
+++ b/bd/n.lyx
@@ -0,0 +1,166 @@
+#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 10
+\spacing single
+\use_hyperref false
+\papersize a5paper
+\use_geometry true
+\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
+\leftmargin 0.2cm
+\topmargin 0.7cm
+\rightmargin 0.2cm
+\bottommargin 0.7cm
+\secnumdepth 3
+\tocdepth 3
+\paragraph_separation indent
+\paragraph_indentation default
+\is_math_indent 0
+\math_numbering_side default
+\quotes_style swiss
+\dynamic_quotes 0
+\papercolumns 1
+\papersides 1
+\paperpagestyle empty
+\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 Title
+Bases de Datos
+\end_layout
+
+\begin_layout Date
+\begin_inset Note Note
+status open
+
+\begin_layout Plain Layout
+
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+def
+\backslash
+cryear{2020}
+\end_layout
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+\begin_inset CommandInset include
+LatexCommand input
+filename "../license.lyx"
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
+Bibliografía:
+\end_layout
+
+\begin_layout Itemize
+Diapositivas de clase, Universidad de Murcia.
+\end_layout
+
+\begin_layout Chapter
+Introducción
+\end_layout
+
+\begin_layout Standard
+\begin_inset CommandInset include
+LatexCommand input
+filename "n1.lyx"
+
+\end_inset
+
+
+\end_layout
+
+\begin_layout Chapter
+Modelo Entidad-Relación
+\end_layout
+
+\begin_layout Standard
+\begin_inset CommandInset include
+LatexCommand input
+filename "n2.lyx"
+
+\end_inset
+
+
+\end_layout
+
+\end_body
+\end_document
diff --git a/bd/n1.lyx b/bd/n1.lyx
new file mode 100644
index 0000000..429da5f
--- /dev/null
+++ b/bd/n1.lyx
@@ -0,0 +1,319 @@
+#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
+Un 
+\series bold
+dato
+\series default
+ es un hecho conocido que puede registrarse.
+ Una 
+\series bold
+base de datos
+\series default
+ es un conjunto coherente de datos almacenados con significado inherente
+ sobre un 
+\series bold
+dominio
+\series default
+ o 
+\series bold
+universo de discurso
+\series default
+ del mundo real, diseñada, creada y cargada con datos para conseguir ciertos
+ objetivos para ciertos usuarios.
+\end_layout
+
+\begin_layout Standard
+Un 
+\series bold
+modelo de datos
+\series default
+ es una herramienta formal para comprender y representar el mundo real para
+ conseguir una visión abstracta de un dominio, mediante tipos de datos,
+ relaciones entre ellos y restricciones que deben cumplir, e incluye operaciones
+ básicas para especificar consultas y modificar tanto los datos como su
+ estructura.
+ Tipos de modelos:
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Conceptuales
+\series default
+ o 
+\series bold
+de alto nivel
+\series default
+: Describe la realidad como entidades que se relacionan entre sí.
+ 
+\series bold
+Modelo entidad relación
+\series default
+ (
+\series bold
+MER
+\series default
+ o 
+\series bold
+ERM
+\series default
+, 
+\emph on
+Entity-Relationship Model
+\emph default
+), modelos 
+\series bold
+orientados a objetos
+\series default
+ como 
+\series bold
+UML
+\series default
+ (
+\emph on
+Unified Modeling Language
+\emph default
+).
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Lógicos
+\series default
+ o 
+\series bold
+de representación
+\series default
+: Los conceptos sean entendibles por usuarios finales, ocultando detalles
+ de implementación, pero estos son directamente implementables.
+ Son los más usados.
+ Distinguimos modelos lógicos 
+\series bold
+basados en registros
+\series default
+, como el 
+\series bold
+relacional
+\series default
+, de 
+\series bold
+red
+\series default
+ o 
+\series bold
+jerárquico
+\series default
+, y 
+\series bold
+orientados a objetos
+\series default
+, más próximos a los conceptuales.
+\end_layout
+
+\begin_layout Enumerate
+
+\series bold
+Físicos
+\series default
+ o 
+\series bold
+de bajo nivel
+\series default
+: Dirigidos a especialistas en informática, describen la estructura física,
+ incluyendo el formato y ordenamiento de los registros, los tamaños de página
+ y de bloque y los caminos o estructuras de acceso a datos, como ficheros
+ índice.
+\end_layout
+
+\begin_layout Standard
+Un 
+\series bold
+sistema de gestión de bases de datos
+\series default
+ (SGBD) es un software para definir el 
+\series bold
+esquema
+\series default
+ de una base de datos según un modelo; crear la base de datos en un almacenamien
+to según el esquema; manipularla consultando, introduciendo, modificando
+ o eliminando datos para reflejar cambios en el dominio y generar informes
+ a partir de los datos, y controlar el acceso a la base de datos proporcionando
+ seguridad, integridad, control de concurrencia y recuperación tras fallos,
+ y ofreciendo un catálogo de 
+\series bold
+metadatos
+\series default
+, descripciones de los datos.
+ 
+\end_layout
+
+\begin_layout Standard
+Un 
+\series bold
+sistema de bases de datos
+\series default
+ consta de una base de datos, un sistema de gestión y software de aplicación
+ para usar la base de datos.
+ El 
+\series bold
+estado
+\series default
+ de una base de datos es el conjunto de datos, 
+\series bold
+instancias
+\series default
+ de los elementos del esquema, que contiene la base de datos en un instante
+ concreto.
+\end_layout
+
+\begin_layout Standard
+Un diagrama de un esquema en un modelo está compuesto de esquemas de tipos
+ de registro, y generalmente solo muestra algunos aspectos del esquema.
+ 
+\end_layout
+
+\begin_layout Standard
+El diseño de una base de datos se hace para satisfacer los requisitos de
+ contenido de usuarios y aplicaciones, estructurando los datos de forma
+ natural, fácil de entender y flexible para poder modificar el esquema posterior
+mente, y para soportar los requisitos de procesamiento y rendimiento.
+ Pasos:
+\end_layout
+
+\begin_layout Enumerate
+Recopilación de requisitos de usuario.
+\end_layout
+
+\begin_layout Enumerate
+Diseño conceptual: Análisis de los requisitos y 
+\series bold
+conceptualización
+\series default
+ o diseño del esquema conceptual, que describe los requisitos de forma independi
+ente de usuarios, aplicaciones, SGBD específico o rendimiento.
+\end_layout
+
+\begin_layout Enumerate
+Elección del SGBD.
+\end_layout
+
+\begin_layout Enumerate
+Diseño lógico.
+\end_layout
+
+\begin_layout Enumerate
+Diseño físico: Obtención de un 
+\series bold
+esquema interno
+\series default
+ para conseguir una implementación lo más eficiente posible del esquema
+ lógico en el SGBD elegido.
+ Las decisiones en esta fase pueden afectar al esquema lógico, aunque esto
+ no es conveniente.
+\end_layout
+
+\begin_layout Enumerate
+Implementación.
+\end_layout
+
+\begin_layout Standard
+Para el diseño usamos herramientas o recursos como diagramas, grafos, teorías,
+ modelos, lenguajes de datos (como SQL), documentación, adquisición de requisito
+s, diccionarios de datos, etc.
+ Un 
+\series bold
+método
+\series default
+ es un conjunto de herramientas para facilitar la representación de los
+ datos en cada fase del diseño y de reglas para pasar de una fase a la siguiente.
+\end_layout
+
+\begin_layout Standard
+El diseño de bases de datos, guiado por los datos, y el del software, guiado
+ por los procesos, deben hacerse de forma coordinada para que el modelo
+ de procesos y el esquema conceptual sean consistentes entre ellos y completos
+ (todo dato requerido por los procesos debe estar en el esquema y toda operación
+ requerida por la base de datos debe reflejarse en el modelo de procesos).
+\end_layout
+
+\end_body
+\end_document
diff --git a/bd/n2.lyx b/bd/n2.lyx
new file mode 100644
index 0000000..65f67ab
--- /dev/null
+++ b/bd/n2.lyx
@@ -0,0 +1,594 @@
+#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, y 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 no o la entidad concreta no tiene ningún valor aplicable para el atributo.
+ 
+\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, etc., 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 la posición de la tupla 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 puede tener atributos, pero no claves, y estos 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 tipos de entidad fuerte 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 fuertes 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 entre dos entidades,
+ 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
+ instancia de dicho tipo solo puede participar en uno de los tipos 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 
+\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 cortada por una
+ curva a cada subtipo.
+ 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