SOLUCIÓN EJERCICIO 4.22 (UD.4.

2)
RI1: Los países que participan en una batalla
luchan en alguno de los bandos que se enfrentan en la
guerra en la que se libra la batalla.
RI2: En una guerra, un país sólo puede pertenecer a GUERRA
uno de los bandos.
RI3: Coherencia de fechas. cod:{id} BATALLA
RI4: Un un país, sólo tiene en un instante un nombre: {1..1} id Libra 0..* TERRESTRE
cod:{id}
comandante en jefe. f_ini:{1..1}
nombre: {0..1}
f_paz:{1..1}
f_ini:{1..1}
antecedentes :{1..1} 1..1
f_fin:{1..1} 0..*
resumen:{1..1}
consecuencias:{1..1} 0..*

Ocurre
id

Enfrenta
0..*
2..2
HECHO
BANDO PARTICIPA
cod:{id}
cod:{id} civiles:{1..1}
nombre: {1..1}
nombre: {1..1} militares:{1..1}
fecha:{1..1}
COMANDANTE descripción:{1..1}
0..*
cod:{id} LUCHA 0..*
nombre: {1..1} 1..* 1..*
año_nac:{1..1} SUCEDIÓ

Asociado
año_muerte:{0..1} 1..*
civiles:{1..1}
PAÍS

nombre: {id}
0..1
capital:{1..1}
MANDA bandera:{1..1} 1..1
1..*
desde:{1..1}
id LOCALIDAD
hasta:{1..1}
nombre: {id}
Esta_hoy 0..*
latitud:{1..1}
longitud:{1..1}

Laura Mota. Grupo FLIP. Curso 16/17

GUERRA(cod, nombre, f_ini, f_paz, antecedentes, resumen, consecuencias) BANDO(cod, cod_guerra, nombre) PAÍS(nombre, capital, bandera)
CP: {cod} CP: {cod_guerra, cod} CP: {nombre}
VNN: {nombre, f_ini, f_paz, antecedentes, resumen, consecuencias} VNN: {nombre} VNN: {capital, bandera}
RI: (f_ini < f_paz) CAJ: {cod_guerra}  GUERRA(cod)

COMANDANTE(cod, nombre, año_nac, año_muerte) PARTICIPA(cod_guerra, cod, nombre, civiles, militares) LOCALIDAD(nombre, país, latitud, longitud)
CP: {cod} CP: {cod_guerra, cod, nombre} CP: {país, nombre}
VNN: {nombre, año_nac} CAJ: {cod_guerra, cod}  BATALLA(cod_guerra, cod) CAJ: {país}  PAÍS(nombre)
RI: (año_nac < año_muerte) CAJ: {nombre}  PAÍS (nombre) VNN: {latitud, longitud}
VNN: {civiles, militares}

BATALLA(cod, cod_guerra, nombre, f_ini, f_fin) TERRESTRE(cod, cod_guerra, país, nombre, civiles) LUCHA(cod_guerra, cod, país)
CP: {cod_guerra, cod} CP: {cod_guerra, cod} CP: {cod_guerra, cod, país}
CAJ: {cod_guerra}  GUERRA(cod) CAJ: {cod_guerra, cod}  BATALLA(cod_guerra, cod) CAJ: {cod_guerra, cod}  BANDO(cod_guerra, cod)
VNN: {f_ini, f_fin} CAJ: {país, nombre}  LOCALIDAD(país, nombre) CAJ: {país}  PAÍS (nombre)
RI: (f_ini < f_fin) VNN: {país, nombre}
VNN: {civiles}

HECHO(cod, nombre, fecha, descripción, cod_guerra, país) MANDA(cod_guerra, cod, país, comandante, desde, hasta)
CP: {cod} CP: {cod_guerra, cod, país, comandante}
CAJ: {cod_guerra}  GUERRA(cod) CAJ: {cod_guerra, cod, país}  LUCHA(cod_guerra, cod, país)
CAJ: {país}  PAÍS (nombre) CAJ: {comandante}  COMANDANTE(cod)
VNN: {nombre, fecha, descripción} VNN: {desde, hasta}
VNN: {cod_guerra} RI: (desde < hasta)

RI1: Los países que participan en una batalla luchan en alguno de los bandos que se enfrentan en la guerra en la que se libra la batalla.
RI2: En una guerra, un país sólo puede pertenecer a uno de los bandos.
RI3: Coherencia de fechas.
RI4: Un un país, sólo tiene en un instante un comandante en jefe.

RI5: Cada valor de cod de la tabla Guerra aparece exactament dos veces en la tabla Bando. /*Cardinalidad de Guerra en Enfrenta*/
RI6: Cada par de valores de (cod_guerra, cod) de la tabla Bando aparece al menos una vez en la tabla Lucha. /*Cardinalidad mínima de Bando en Lucha*/
RI7: Cada valor de cod de la tabla Comandante aparece al menos una vez en la tabla Manda. /*Cardinalidad mínima de Comandante en Manda*/
RI8: Cada triplete de valores de (cod_guerra, cod, país) de la tabla Lucha aparece al menos una vez en la tabla Manda. . /*Cardinalidad mínima de Lucha en Manda*/
RI9: Cada par de valores de (cod_guerra, cod) de la tabla Batalla aparece al menos una vez en la tabla Participa. /*Cardinalidad mínima de Bando en Lucha*/