Errata in bd

8 files changed, 230 insertions, 181 deletions

diff --git a/bd/n.lyx b/bd/n.lyx
index 780caa7..856b16c 100644
--- a/bd/n.lyx
+++ b/bd/n.lyx
@@ -148,7 +148,24 @@ Diapositivas de clase, Universidad de Murcia.
 \end_layout
 
 \begin_layout Itemize
-Wikipedia, the Free Encyclopedia (
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+begin{sloppypar}
+\end_layout
+
+\end_inset
+
+Wikipedia, the Free Encyclopedia.
+ 
+\emph on
+Augmented Backus-Naur Form
+\emph default
+ (
 \begin_inset Flex URL
 status open
 
@@ -160,6 +177,19 @@ https://en.wikipedia.org/wiki/ABNF
 \end_inset
 
 ).
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+end{sloppypar}
+\end_layout
+
+\end_inset
+
+
 \end_layout
 
 \begin_layout Itemize
diff --git a/bd/n1.lyx b/bd/n1.lyx
index 429da5f..b6930d6 100644
--- a/bd/n1.lyx
+++ b/bd/n1.lyx
@@ -110,7 +110,7 @@ modelo 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:
+ Tipos de modelo:
 \end_layout
 
 \begin_layout Enumerate
@@ -163,8 +163,8 @@ Lógicos
 \series bold
 de representación
 \series default
-: Los conceptos sean entendibles por usuarios finales, ocultando detalles
- de implementación, pero estos son directamente implementables.
+: Se ocultan detalles de implementación para que los conceptos sean entendibles
+ por usuarios finales, pero son directamente implementables.
  Son los más usados.
  Distinguimos modelos lógicos 
 \series bold
@@ -198,10 +198,9 @@ Físicos
 \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.
+: Dirigidos a especialistas, 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 índices.
 \end_layout
 
 \begin_layout Standard
@@ -215,10 +214,10 @@ 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 
+ o eliminando datos para reflejar cambios en el dominio y generar informes,
+ 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
@@ -241,14 +240,7 @@ estado
 \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.
- 
+ de los elementos del esquema, que contiene en un instante concreto.
 \end_layout
 
 \begin_layout Standard
@@ -310,7 +302,7 @@ método
 \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
+ de procesos y el esquema conceptual sean consistentes entre sí 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
diff --git a/bd/n2.lyx b/bd/n2.lyx
index 65f67ab..f4d4197 100644
--- a/bd/n2.lyx
+++ b/bd/n2.lyx
@@ -105,7 +105,7 @@ entidad
 entity
 \emph default
 ) es aquello del mundo real con existencia propia distinguible del resto,
- sea esta física o real, y abstracta o conceptual.
+ sea esta física o real, o abstracta o conceptual.
  Un 
 \series bold
 atributo
@@ -231,8 +231,7 @@ nulo
 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.
- 
+ o la entidad no tiene un valor aplicable para este.
 \end_layout
 
 \begin_layout Standard
@@ -399,7 +398,7 @@ ternaria
 \series bold
 cuaternaria
 \series default
- si es de grado 4, etc., y 
+ si es de grado 4 y 
 \series bold
 reflexiva
 \series default
@@ -416,13 +415,13 @@ La
 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.
+ 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 puede tener atributos, pero no claves, y estos se representan poniendo
+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
@@ -448,7 +447,7 @@ dad
 \begin_inset Formula $(1,1)$
 \end_inset
 
- con tipos de entidad fuerte y, si es necesario, incluir una 
+ con otros tipos de entidad y, si es necesario, incluir una 
 \series bold
 clave parcial
 \series default
@@ -467,15 +466,15 @@ 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.
+ 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 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.
+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
@@ -488,8 +487,8 @@ Dos o más tipos de relación son
 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.
+ 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
@@ -503,7 +502,7 @@ subtipo
 \series bold
 jerarquía
 \series default
- entre tipos de entidad que se puede formar 
+ entre tipos de entidad que se puede formar por 
 \series bold
 especialización
 \series default
@@ -527,8 +526,8 @@ 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.
+ 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
diff --git a/bd/n3.lyx b/bd/n3.lyx
index d58a8b4..687e308 100644
--- a/bd/n3.lyx
+++ b/bd/n3.lyx
@@ -85,8 +85,8 @@ esquema conceptual
  es una descripción del contenido de una base de datos que persigue entender
  su estructura, semántica, relaciones y restricciones, independientemente
  de aspectos de implementación, usando un modelo de datos de alto nivel,
- más expresivo y general que uno de representación, para servir de vehículo
- de comunicación entre usuarios, diseñadores y analistas.
+ más expresivo y general que uno de representación, para la comunicación
+ entre usuarios, diseñadores y analistas.
  Consta de un 
 \series bold
 diagrama entidad-relación
@@ -100,13 +100,12 @@ diccionario de datos
 \end_layout
 
 \begin_layout Standard
-El diseño conceptual es el proceso de construir un modelo de datos independiente
- de toda consideración física, basándose en un análisis meticuloso del 
+El diseño conceptual es el proceso de construir un esquema conceptual a
+ partir de un análisis meticuloso del 
 \series bold
 catálogo de requisitos de datos
 \series default
- y generando mediante refinamiento y estructuración progresivos un esquema
- conceptual.
+ mediante refinamiento y estructuración progresivos.
  El diseño puede ser:
 \end_layout
 
@@ -130,15 +129,14 @@ Integración de vistas
 \end_layout
 
 \begin_layout Standard
-El éxito en el diseño conceptual se obtiene de seguir una metodología estructura
-da en que se trabaje interactivamente con los usuarios tanto como sea posible,
- siguiendo un enfoque guiado por los datos que combine técnicas para conceptuali
-zar, normalizar y validar los datos e incorpore consideraciones estructurales
- y de integridad; usando diagramas para representar los modelos y un lenguaje
- de diseño de bases de datos para representar semántica adicional que no
- pueda expresarse en los diagramas; construyendo un diccionario de datos
- para complementar los diagramas, y repitiendo pasos de la metodología siempre
- que sea necesario.
+Es recomendable seguir una metodología estructurada en que se trabaje interactiv
+amente con los usuarios tanto como sea posible, siguiendo un enfoque guiado
+ por los datos que combine técnicas para conceptualizar, normalizar y validar
+ los datos e incorpore consideraciones estructurales y de integridad; usando
+ diagramas para representar los modelos y un lenguaje de diseño de bases
+ de datos para representar semántica adicional que no pueda expresarse en
+ los diagramas; construyendo un diccionario de datos para complementar los
+ diagramas, y repitiendo pasos de la metodología siempre que sea necesario.
  
 \end_layout
 
@@ -181,14 +179,14 @@ Lingüístico: Suelen ser verbos, locuciones verbales, preposiciones o locucione
 \end_layout
 
 \begin_layout Enumerate
-De categorización de objetos: Proporcionan un vínculo entre entidades que
- hace posible la selección de una entidad a través de una referencia a una
- propiedad de otra.
+De categorización: Proporcionan un vínculo entre entidades que hace posible
+ la selección de una entidad a través de una referencia a una propiedad
+ de otra.
 \end_layout
 
 \begin_layout Standard
 Solo se incluyen las relaciones de interés para el usuario.
- La mayoría relacionan dos entidades, aunque pueden relacionan más.
+ La mayoría relacionan dos entidades, aunque pueden relacionar más.
  Las relaciones se distinguen por la tupla de entidades relacionadas, por
  lo que si hace falta un atributo para distinguirlas, este se ha de convertir
  en entidad.
@@ -231,7 +229,7 @@ Un atributo es compuesto si resulta natural dar nombre a un grupo de propiedades
  simples y se referencia tanto el conjunto como unidad como sus partes por
  separado, es simple si solo se referencia como unidad, y es un conjunto
  de atributos simples si las propiedades son independientes y solo se referencia
- a las propiedades individualmente.
+n individualmente.
  Es opcional si puede no estar y derivado si puede obtenerse a partir de
  otros.
 \end_layout
@@ -267,7 +265,7 @@ Si una entidad no puede identificarse por sí misma, podría ser débil.
 
 \end_deeper
 \begin_layout Enumerate
-Considerar incorporar restricciones de integridad.
+Considerar restricciones de integridad.
  Documentar las restricciones necesarias para que los datos no queden incompleto
 s, imprecisos o incoherentes, redactando 
 \series bold
diff --git a/bd/n4.lyx b/bd/n4.lyx
index c91289e..8eae4c7 100644
--- a/bd/n4.lyx
+++ b/bd/n4.lyx
@@ -83,7 +83,7 @@ Introducido por Ted Codd en 1970 desde IBM Research, el
 modelo relacional
 \series default
  es un modelo de representación de datos lógico basado en registros y el
- más usado en aplicaciones de pago de procesamiento de datos convencional.
+ más usado en procesamiento de datos convencional.
 \end_layout
 
 \begin_layout Standard
diff --git a/bd/n5.lyx b/bd/n5.lyx
index 55c715c..b225022 100644
--- a/bd/n5.lyx
+++ b/bd/n5.lyx
@@ -90,7 +90,7 @@ esquema lógico
  la simplicidad para conseguir una estructura lógica adecuada y un equilibrio
  entre los requisitos de usuario y la eficiencia.
  Para conseguir la máxima portabilidad, se introduce el SGBD específico
- de forma tardía, lo que permite implementar el esquema lógico en distintos
+ de forma tardía, permitiendo implementar el esquema lógico en distintos
  SGBD y migrar entre SGBDs.
 \end_layout
 
@@ -111,8 +111,7 @@ modelo lógico de datos estándar
 \series bold
 MLS
 \series default
-), como puede ser el modelo relacional, de red, jerárquico, orientado a
- objetos, etc., independiente del SGBD, y se describe en este un 
+), independiente del SGBD, y se describe en este un 
 \series bold
 esquema lógico estándar
 \series default
@@ -396,7 +395,7 @@ Si tras esto hay un elemento con cardinalidad
 \begin_inset Formula $(1,1)$
 \end_inset
 
-, se añaden a este las claves ajenas que no admiten nulo al resto de elementos
+, se añaden a este claves ajenas que no admiten nulo al resto de elementos
  que quedan en la relación, si los hay.
  En tal caso se llama 
 \series bold
@@ -544,7 +543,7 @@ Se recomienda que cada relación sea al menos 3FN.
 
 \end_deeper
 \begin_layout Enumerate
-Validar las relacines contra las transacciones de usuario, intentando 
+Validar las relaciones contra las transacciones de usuario, intentando 
 \begin_inset Quotes cld
 \end_inset
 
@@ -572,8 +571,8 @@ Que las columnas traducidas de atributos admiten nulo si y sólo si el atributo
 
 \begin_layout Enumerate
 Que los atributos solo pueden tener valores legales, especialmente cuando
- el dominio no se corresponde exactamente con un tipo de datos nativo de
- la base de datos.
+ el dominio no se corresponde exactamente con un tipo de datos de la base
+ de datos.
 \end_layout
 
 \begin_layout Enumerate
@@ -582,14 +581,14 @@ Que ninguna clave primaria puede contener nulo.
 
 \begin_layout Enumerate
 Que las claves ajenas tienen tantas columnas como la clave primaria a la
- que referencias, que son de tipo correcto, que está bien indicado si admiten
+ que referencian, que son de tipo correcto, que está bien indicado si admiten
  nulo o no y que las acciones de mantenimiento de la integridad referencial
  son las adecuadas según su semántica.
 \end_layout
 
 \begin_layout Enumerate
-Que las reglas de integridad generales están ya representadas como comprobacione
-s o asertos.
+Que las reglas de integridad generales están representadas como comprobaciones
+ o asertos.
 \end_layout
 
 \end_deeper
diff --git a/bd/n6.lyx b/bd/n6.lyx
index ab695b7..ced2c05 100644
--- a/bd/n6.lyx
+++ b/bd/n6.lyx
@@ -116,8 +116,10 @@ American National Standards Institute
 ISO
 \series default
  (
+\emph on
 \lang english
 International Standardization Organization
+\emph default
 \lang spanish
 ).
  La primera versión del estándar fue SQL1 o ANSI 1986, del que hubo una
@@ -145,8 +147,7 @@ Intermediate SQL
 \emph on
 Full SQL
 \emph default
-, y los proveedores suelen incluir características no estandarizadas como
- índices.
+, y los proveedores suelen incluir características no estandarizadas.
  El código SQL se puede incorporar dentro de código en un lenguaje de programaci
 ón de propósito general.
 \end_layout
@@ -194,7 +195,7 @@ bag
 \emph default
 ), en el que puede haber varias filas idénticas.
  Las columnas están ordenadas por orden de creación, y una clave ajena puede
- referenciar a una clave alternativa.
+ referenciar a una alternativa.
 \end_layout
 
 \begin_layout Standard
@@ -798,7 +799,7 @@ TABLE
 
 \begin_layout Plain Layout
 
-table-elements = table-element / table-element 
+table-elements = table-element *(
 \begin_inset Quotes cld
 \end_inset
 
@@ -806,7 +807,7 @@ table-elements = table-element / table-element
 \begin_inset Quotes crd
 \end_inset
 
- table-elements
+ table-element)
 \end_layout
 
 \begin_layout Plain Layout
@@ -886,7 +887,15 @@ REAL
 \begin_inset Quotes cld
 \end_inset
 
-DOUBLE PRECISION
+DOUBLE
+\begin_inset Quotes crd
+\end_inset
+
+ 
+\begin_inset Quotes cld
+\end_inset
+
+PRECISION
 \begin_inset Quotes crd
 \end_inset
 
@@ -938,7 +947,7 @@ DEC
 \begin_inset Quotes crd
 \end_inset
 
-) 
+) [
 \begin_inset Quotes cld
 \end_inset
 
@@ -946,7 +955,7 @@ DEC
 \begin_inset Quotes cld
 \end_inset
 
- uint 
+ uint [
 \begin_inset Quotes cld
 \end_inset
 
@@ -954,7 +963,7 @@ DEC
 \begin_inset Quotes crd
 \end_inset
 
- uint 
+ uint] 
 \begin_inset Quotes cld
 \end_inset
 
@@ -962,7 +971,7 @@ DEC
 \begin_inset Quotes crd
 \end_inset
 
-
+]
 \end_layout
 
 \begin_layout Plain Layout
@@ -1039,7 +1048,7 @@ NCHAR
 \begin_inset Quotes crd
 \end_inset
 
- [ 
+ [
 \begin_inset Quotes cld
 \end_inset
 
@@ -1055,7 +1064,7 @@ NCHAR
 \begin_inset Quotes crd
 \end_inset
 
- ]
+]
 \end_layout
 
 \begin_layout Plain Layout
@@ -1269,8 +1278,8 @@ DECIMAL
 \family typewriter
 DEC
 \family default
- recibe como parámetros el número de dígitos a almacenar y, opcionalmente,
- un factor de escala.
+ recibe como parámetros opcionales el número de dígitos a almacenar y, opcionalm
+ente, un factor de escala.
  
 \family typewriter
 CHAR
@@ -1344,15 +1353,7 @@ status open
 
 \begin_layout Plain Layout
 
-column-constraint = (
-\begin_inset Quotes cld
-\end_inset
-
-NULL
-\begin_inset Quotes crd
-\end_inset
-
- / 
+column-constraint = ([
 \begin_inset Quotes cld
 \end_inset
 
@@ -1360,7 +1361,7 @@ NOT
 \begin_inset Quotes crd
 \end_inset
 
- 
+] 
 \begin_inset Quotes cld
 \end_inset
 
@@ -1467,11 +1468,11 @@ es, sin nombre y con lista de columnas solo con la columna actual.
 
 \begin_layout Standard
 Cuando se crea una fila en la tabla sin indicar el valor de una columna,
- se usa el valor indicado en la 
+ se usa el valor por defecto, indicado en la 
 \family typewriter
 default-clause
 \family default
- o, si esta no aparece, 
+, o si esta no aparece, 
 \family typewriter
 NULL
 \family default
@@ -1618,11 +1619,11 @@ restricción de clave candidata
 \family typewriter
 PRIMARY KEY
 \family default
- y 
+ o 
 \family typewriter
 UNIQUE
 \family default
- indican que las columnas en la lista forman una clave primaria o alternativa,
+ indica que las columnas en la lista forman una clave primaria o alternativa,
  respectivamente.
  Una 
 \series bold
@@ -1825,12 +1826,12 @@ TABLE
 \begin_inset Quotes frd
 \end_inset
 
- sid alter-table-clause
+ sid [alter-column / alter-constraint]
 \end_layout
 
 \begin_layout Plain Layout
 
-alter-table-clause = 
+alter-column = 
 \begin_inset Quotes fld
 \end_inset
 
@@ -1886,7 +1887,12 @@ COLUMN
 \begin_inset Quotes frd
 \end_inset
 
- id drop-behavior / 
+ id drop-behavior
+\end_layout
+
+\begin_layout Plain Layout
+
+alter-constraint = 
 \begin_inset Quotes fld
 \end_inset
 
@@ -1984,8 +1990,8 @@ La información almacenada debe cumplir en todo momento las reglas existentes.
 \end_layout
 
 \begin_layout Enumerate
-Un nombre, un que aparece en los mensajes de error por intentar incumplir
- la regla.
+Un nombre, que aparece en los mensajes de error por intentar incumplir la
+ regla.
 \end_layout
 
 \begin_layout Enumerate
@@ -2492,7 +2498,7 @@ CONSTRAINTS
 \begin_inset Quotes crd
 \end_inset
 
- (sid (
+ (sid *(
 \begin_inset Quotes cld
 \end_inset
 
@@ -2857,7 +2863,7 @@ INTERSECT
 \begin_inset Quotes crd
 \end_inset
 
- primary-query
+ primary-query)
 \end_layout
 
 \begin_layout Plain Layout
@@ -3068,7 +3074,23 @@ from-clause = table-ref *(
 
 \begin_layout Plain Layout
 
-table-ref = sid [id] / query id / joined-table
+table-ref = sid [id] / 
+\begin_inset Quotes cld
+\end_inset
+
+(
+\begin_inset Quotes cld
+\end_inset
+
+ query 
+\begin_inset Quotes cld
+\end_inset
+
+)
+\begin_inset Quotes crd
+\end_inset
+
+ id / joined-table
 \end_layout
 
 \end_inset
@@ -3136,7 +3158,7 @@ columna
 \family typewriter
 *
 \family default
- equivale a listas todas las columnas de la 
+ equivale a listar todas las columnas de la 
 \family typewriter
 \emph on
 tabla
@@ -3159,8 +3181,8 @@ table-ref
 \emph default
 , se usa su producto cartesiano, que contiene, para cada fila de la primera
  tabla y cada fila de la segunda (si hay más de dos tablas, se usa la asociativi
-dad), una fila que contiene los valores de las columnas de la primera tabla
- y los de la segunda.
+dad), una fila que contiene los valores de las columnas de la primera y
+ los de la segunda.
 \end_layout
 
 \begin_layout Standard
@@ -3182,16 +3204,6 @@ columna
 tabla alias
 \family default
 \emph default
- o 
-\family typewriter
-\emph on
-tabla
-\emph default
- AS 
-\emph on
-alias
-\family default
-\emph default
 , y entonces no se establece 
 \family typewriter
 \emph on
@@ -4303,7 +4315,7 @@ DESC
 ).
  La mayoría de SGBDs interpretan la 
 \family typewriter
-orden-by-clause
+order-by-clause
 \family default
  como un parámetro de 
 \family typewriter
@@ -4384,7 +4396,7 @@ El
 \end_layout
 
 \begin_layout Standard
-Podemos expresar una relación como una tupla 
+Podemos ver una relación como una tupla 
 \begin_inset Formula $(R,T,N)$
 \end_inset
 
@@ -4793,7 +4805,7 @@ Reunión natural
 , entonces 
 \begin_inset Formula 
 \[
-R\hexstar S:=(\{r*s:r\in R,s\in S,\forall i,j,(N_{i}=M_{j}\implies r_{i}=s_{j})\},T*U,N*M).
+R\hexstar S:=(\{r*(s_{j_{1}},\dots,s_{j_{p}}):r\in R,s\in S,\forall i,j,(N_{i}=M_{j}\implies r_{i}=s_{j})\},T*U,N*M).
 \]
 
 \end_inset
@@ -4806,18 +4818,10 @@ R\hexstar S:=(\{r*s:r\in R,s\in S,\forall i,j,(N_{i}=M_{j}\implies r_{i}=s_{j})\
 \series bold
 Reunión externa
 \series default
-: Sean 
+: Sea 
 \begin_inset Formula $N_{k}:=\{\mathtt{NULL}\}^{k}$
 \end_inset
 
-, 
-\begin_inset Formula $n:=\text{gr}R$
-\end_inset
-
- y 
-\begin_inset Formula $m:=\text{gr}S$
-\end_inset
-
 .
  Definimos la 
 \series bold
@@ -4906,7 +4910,7 @@ Funciones de agregados
 
  es el nombre de una de estas funciones, definimos la función de agregados
  
-\begin_inset Formula $O_{N_{i}}(R):=O(\{r_{i}\}_{r\in R}\setminus\{\mathtt{NULL}\})$
+\begin_inset Formula $O_{N_{i}}(R):=O_{r\in R,r_{i}\neq\mathtt{NULL}}r_{i}$
 \end_inset
 
 .
@@ -4935,7 +4939,7 @@ Dada una tupla
 \end_inset
 
 , una fila 
-\begin_inset Formula $(r_{i_{1}},\dots,r_{i_{n}},F_{1}[r],\dots,F_{m}[r])$
+\begin_inset Formula $(r_{i_{1}},\dots,r_{i_{n}},F_{1}([r]),\dots,F_{m}([r]))$
 \end_inset
 
 .
@@ -5220,10 +5224,7 @@ segura
 \end_inset
 
 .
-\end_layout
-
-\begin_layout Standard
-El cálculo relacional con expresiones seguras tiene la misma potencia que
+ El cálculo relacional con expresiones seguras tiene la misma potencia que
  el álgebra relacional.
 \end_layout
 
@@ -5234,11 +5235,7 @@ El cálculo relacional con expresiones seguras tiene la misma potencia que
 \begin_layout Standard
 Buscar las filas de una tabla que satisfacen una condición es la operación
  más común en consultas SQL.
- La 
-\series bold
-búsqueda secuencial
-\series default
- implica un gran número de lecturas de 
+ La búsqueda secuencial implica un gran número de lecturas de 
 \series bold
 bloques
 \series default
@@ -5396,7 +5393,6 @@ index-def
 ORDER BY
 \family default
 .
- 
 \begin_inset Foot
 status open
 
@@ -5427,6 +5423,13 @@ UNIQUE
 \end_layout
 
 \begin_layout Standard
+\begin_inset Newpage newpage
+\end_inset
+
+
+\end_layout
+
+\begin_layout Standard
 \begin_inset listings
 inline false
 status open
@@ -5461,8 +5464,7 @@ INDEX
 Elimina un índice.
  Esto puede hacerse porque ya no se espera realizar consultas basadas en
  el campo de indexación, o porque este no acelera las consultas al ser la
- tabla muy pequeña o contener muchas filas pero con pocas entradas en el
- índice.
+ tabla muy pequeña o contener muchas filas pero pocas entradas en el índice.
 \end_layout
 
 \begin_layout Section
@@ -5676,7 +5678,7 @@ CHAR
 \begin_inset Quotes crd
 \end_inset
 
- ] 
+] 
 \begin_inset Quotes cld
 \end_inset
 
@@ -5945,6 +5947,18 @@ UROWID
 \end_layout
 
 \begin_layout Standard
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+begin{sloppypar}
+\end_layout
+
+\end_inset
+
 
 \family typewriter
 NUMBER
@@ -5953,7 +5967,7 @@ NUMBER
 \family typewriter
 NUMERIC
 \family default
-, pero con parámetros por defecto 38 y 0.
+, con parámetros por defecto 38 y 0.
  
 \family typewriter
 INTEGER
@@ -6025,6 +6039,19 @@ VARCHAR
 BIT VARYING
 \family default
 , con las mismas consideraciones.
+\begin_inset ERT
+status open
+
+\begin_layout Plain Layout
+
+
+\backslash
+end{sloppypar}
+\end_layout
+
+\end_inset
+
+
 \end_layout
 
 \begin_layout Standard
@@ -6303,22 +6330,22 @@ MODIFY
 \begin_layout Standard
 
 \family typewriter
-RENAME 
+ALTER TABLE 
 \emph on
 name
 \emph default
- TO 
+ RENAME TO 
 \emph on
 newName
 \family default
 \emph default
  equivale a 
 \family typewriter
-ALTER TABLE 
+RENAME 
 \emph on
 name
 \emph default
- RENAME TO 
+ TO 
 \emph on
 newName
 \family default
@@ -6357,7 +6384,7 @@ status open
 
 \begin_layout Plain Layout
 
-alter-constraint-clause = 
+alter-constraint = 
 \begin_inset Quotes cld
 \end_inset
 
@@ -7085,7 +7112,7 @@ CONSTRAINT
 sid
 \family default
 \emph default
- da un nombre a como restricción a la condición 
+ da un nombre como restricción a la condición 
 \family typewriter
 WITH CHECK OPTION
 \family default
@@ -7175,9 +7202,9 @@ SELECT DISTINCT
 \family default
 .
  Aunque esta característica es estándar, en el software privativo Oracle
- Database, la inclusión de una subconsulta en la cláusula 
+ Database, la inclusión de una subconsulta en una 
 \family typewriter
-FROM
+from-clause
 \family default
  se llama Oracle Online View.
 \end_layout
diff --git a/bd/n7.lyx b/bd/n7.lyx
index 789dee8..ca42d0c 100644
--- a/bd/n7.lyx
+++ b/bd/n7.lyx
@@ -118,7 +118,7 @@ actores
 \end_layout
 
 \begin_layout Standard
-Entre los actores tenemos:
+En empresas tenemos los siguientes actores:
 \end_layout
 
 \begin_layout Enumerate
@@ -214,7 +214,7 @@ sofisticados
 \series default
 : Familiarizados con la estructura de la base de datos y las funcionalidades
  del SGBD.
- Acceden de forma esporádica y distinta cada vez usando, por ejemplo SQL.
+ Acceden de forma esporádica y distinta cada vez usando por ejemplo SQL.
 \end_layout
 
 \end_deeper
@@ -561,7 +561,7 @@ serializabilidad
 \series default
  de las transacciones es la equivalencia entre el orden de procesamiento
  de estas y algún orden secuencial.
- El método de control de concurrencia puede abortar una transacción porque
+ El servicio de control de concurrencia puede abortar una transacción porque
  incumple la serializabilidad o para romper un interbloqueo, y esta debe
  ser reiniciada más tarde.
 \end_layout
@@ -941,7 +941,11 @@ gets$dirección del registro
 
 	$a
 \backslash
-gets$conjunto de transacciones activas según el registro
+gets
+\backslash
+{T_i
+\backslash
+}_i$
 \backslash
 ;
 \end_layout
@@ -1002,7 +1006,7 @@ Para{$e$ entrada en la bitácora desde $s$}{
 \backslash
 lSSi{$e=${
 \backslash
-tt <INICIAR,T>}}{Añadir {
+tt <INICIAR, T>}}{añadir {
 \backslash
 tt T} a $A$}
 \end_layout
@@ -1013,7 +1017,7 @@ tt T} a $A$}
 \backslash
 lEnOtroCasoSi{$e=${
 \backslash
-tt <COMMIT,T>}}{Mover {
+tt <COMMIT, T>}}{mover {
 \backslash
 tt T} de $A$ a $C$}
 \end_layout
@@ -1039,7 +1043,7 @@ min(
 \backslash
 }_i
 \backslash
-cap A)$ o 0}{
+cap A)$ o $0$}{
 \end_layout
 
 \begin_layout Plain Layout
@@ -1048,7 +1052,7 @@ cap A)$ o 0}{
 \backslash
 lSSi{$e=${
 \backslash
-tt <ESCRIBIR,$T$,{
+tt <ESCRIBIR, $T$, {
 \backslash
 rm ...}>} con $T
 \backslash
@@ -1064,15 +1068,7 @@ in A$}{deshacer $e$}
 
 
 \backslash
-Para{$e$ entrada desde $
-\backslash
-min(
-\backslash
-{E_i
-\backslash
-}_i
-\backslash
-cap C)$ hasta la última}{
+Para{$e$ entrada desde $s$ hasta la última}{
 \end_layout
 
 \begin_layout Plain Layout
@@ -1081,7 +1077,7 @@ cap C)$ hasta la última}{
 \backslash
 lSSi{$e=${
 \backslash
-tt <ESCRIBIR,$T$,{
+tt <ESCRIBIR, $T$, {
 \backslash
 rm ...}>} con $T
 \backslash
@@ -1148,7 +1144,15 @@ Estructura general
 \end_layout
 
 \begin_layout Standard
-Además del gestor de base de datos (GBD), el SGBD tiene:
+Además del 
+\series bold
+gestor de base de datos
+\series default
+ (
+\series bold
+GBD
+\series default
+), el SGBD tiene:
 \end_layout
 
 \begin_layout Itemize
@@ -1163,8 +1167,8 @@ Un preprocesador de comandos LMD, que se comunica con el procesador de consultas
 
 \begin_layout Itemize
 Un compilador de comando LDD, que compila las órdenes del ABD y las envía
- al gestor del catálogo, que se modifica el catálogo a través del gestor
- de ficheros en coordinación con el GBD.
+ al gestor del catálogo, que modifica el catálogo a través del gestor de
+ ficheros en coordinación con el GBD.
 \end_layout
 
 \begin_layout Standard
@@ -1173,10 +1177,10 @@ Cuando el GBD recibe un comando, comprueba la autorización y lo pasa al
  el optimizador de consultas y envía una versión de este de bajo nivel al
  gestor de transacciones, que la pasa al planificador y este al gestor de
  datos.
- El gestor de datos consta de gestor de recuperación seguido de gestor del
- búfer, y este entonces se comunica con el gestor de ficheros del sistema
- operativo para manipular la base de datos a través de los métodos de acceso
- y búferes del sistema.
+ El gestor de datos consta del gestor de recuperación seguido del gestor
+ del búfer, que se comunica con el gestor de ficheros del sistema operativo
+ para manipular la base de datos a través de los métodos de acceso y búferes
+ del sistema.
 \end_layout
 
 \begin_layout Standard