EMPLEADO (#nif, nombre, direcci, tlf, F_nac, F_ing) siendo

Nif es entero no nulo,

Nombre es cadena no nulo,
Direccies cadena no nulo,
Tlf es cadena no nulo,
F_nac es date no nulo,
F_ing es date no nulo,
PK (nif)

AUTOBUS (#matrícula, marca, modelo, año_fabrica, fecha_de_adquisición,

número_de_asientos, anchura, longitud, color, potencia, transmisión) siendo
Matrícula es entero no nulo,
Marca es cadena no nulo,
Modelo es cadena no nulo,
año_fabrica es date no nulo,
fecha_de_adquisición es date no nulo,
número_de_asientos es entero no nulo,
anchura es entero no nulo,
longitud es entero no nulo,
color es cadena no nulo,
potencia es entero no nulo,
transmisión es entero no nulo,
PK (matricula)

RUTAS (#Cod_ruta, t_esti, precio_t) siendo

Cod_ruta es entero no nulo,
T_esti es date no nulo,
Precio_t es entero no nulo,
PK (Cod_ruta)
LOCALIDADES (#Cod_loca, nombre) siendo
Cod_loca es entero no nulo,
Nombre es cadena no nulo,
PK(Cod_loca)

AVERIA (#Cod_averia, desc) siendo

Cod_averia es entero no nulo,
Desc es cadena no nulo,
PK(Cod_averia)
PIEZA (#Cod_pieza, nombre, coste) siendo
Cod_pieza es entero no nulo,
Nombre es cadena no nulo,
Coste es entero no nulo,
PK (Cod_pieza)

PROVEEDOR (#CIF, e-mail, fax, tlf, dire) siendo

CIF es entero no nulo,
e-mail es cadena no nulo,
fax es cadena no nulo,
tlf es cadena no nulo,
dire es cadena no nulo,
PK (CIF)

MECANICO (#nif, especialidad) siendo

nif es entero no nulo,
especialidad es cadena no nulo,
PK (nif),
FK (nif /EMPLEADO(nif))
con (actualización en cascada, borrado en cascada)
CONDUCTOR (#nif, reco_medi) siendo
nif es entero no nulo,
reco_medi es cadena no nulo,
PK (nif),
FK (nif /EMPLEADO(nif))
con (actualización en cascada, borrado en cascada)

ADMINISTRADOR (#nif, participaciones) siendo

nif es entero no nulo,
participaciones es cadena no nulo,
PK (nif),
FK (nif /EMPLEADO(nif))
con (actualización en cascada, borrado en cascada)

TRANSPORTADO (#nif, #Matricula, f_i, f_f) siendo

nif es entero no nulo,
Matricula es cadena no nulo,
f_i es date no nulo,
f_f es date no nulo,
PK (nif, Matricula, f_inicio, f_fin),
FK (nif /CONDUCTOR(nif)),
con (actualización en cascada, borrado en cascada)
FK (Matricula/AUTOBUS(Matricula))
con (actualización en cascada, borrado en cascada)

CIRCULA (#Matricula, #cod_ruta, F_i, F_f) siendo

matricula es entero no nulo,
cod_ruta es entero no nulo,
F_i es date no nulo,
F_f es date no nulo,
PK (Matricula, cod_ruta),
FK (Matricula/AUTOBUS(Matricula)),
con (actualización en cascada, borrado en cascada)
FK (cod_ruta/RUTA(cod_ruta))
con (actualización en cascada, borrado en cascada)
CIRCULA_POR (#cod_loca, #cod_ruta) siendo
cod_loca es entero no nulo,
cod_ruta es entero no nulo,
PK (cod_loca, cod_ruta),
FK (cod_ruta/RUTA(cod_ruta)),
con (actualización en cascada, borrado en cascada)
FK (cod_loca/LOCALIDADES(cod_loca))
con (actualización en cascada, borrado en cascada)

REPARA (#matricula, #N.I.F, #cod_averia, #cod_pieza) siendo

matricula es entero no nulo,
N.I.F es entero no nulo,
cod_averia es entero no nulo,
cod_pieza es entero no nulo,
PK (Matricula, N.I.F, cod_averia, cod_pieza),
FK (Matricula/AUTOBUS(Matricula)),
con (actualización en cascada, borrado en cascada)
FK (N.I.F/MECANICO(N.I.F)),
con (actualización en cascada, borrado en cascada)
FK (cod_averia/AVERIA(cod_averia))
con (actualización en cascada, borrado en cascada)

VENDE (#cod_pieza, #CIF) siendo

cod_pieza es entero no nulo,
CIF es entero no nulo,
PK (cod_pieza, CIF),
FK (cod_pieza/PIEZA(cod_pieza)),
con (actualización en cascada, borrado en cascada)
FK (CIF/PROVEEDOR(CIF))
con (actualización en cascada, borrado en cascada)