Recinto Universitario: Rubén

Darío
Departamento de Computación

Lenguaje Z
Asignatura: Facultativa II

Docente: Msc. Reynerio Bermúdez

Caso de Estudio: Concesionario de

Automóviles

Nombre:
• Yessenia Tenorio Galán
 martes, 24 de mayo de 2011
A partir del siguiente supuesto, diseñar el modelo Entidad Relación:

“Se desea diseñar una base de datos para almacenar y gestionar la información
empleada por una empresa dedicada a la venta de automóviles, teniendo en cuenta los
siguientes aspectos: La empresa dispone de una serie de coches para su venta. Se
necesita conocer la matrícula, marca y modelo, el color y el precio de venta de cada
coche. Los datos que interesa conocer de cada cliente son el NIF, nombre, dirección,
ciudad y número de teléfono: además, los clientes se diferencian por un código interno
de la empresa que se incrementa automáticamente cuando un cliente se da de alta en
ella. Un cliente puede comprar tantos coches como desee a la empresa. Un coche
determinado solo puede ser comprado por un único cliente. El concesionario también se
encarga de llevar a cabo las revisiones que se realizan a cada coche. Cada revisión tiene
asociado un código que se incrementa automáticamente por cada revisión que se haga.
De cada revisión se desea saber si se ha hecho cambio de filtro, si se ha hecho cambio
de aceite, si se ha hecho cambio de frenos u otros. Los coches pueden pasar varias
revisiones en el concesionario”.
 DIAGRAMA ( E/R) PARA EMPRESA DE DE VENTA DE AUTOMÓVILES

Nombre Direccion
Modelo
Ciudad Marca Color
Id_cliente

Teléfono Matricula P_venta

NIF
[1:N] [1:1]
Cliente Compra Coche

[1:N]

Tiene

[1:1]

[1:N] [1:1]
Concesionario Realiza Revision

Cod_revision Otros
Matricula Cod _revision

C_filtro C_frenos

C_aceite

ESPECIFICACION DE LOS REQUISITOS EN LENGUAJE “ Z” DEL CASO DE

ESTUDIO:

Declaración del conjunto de valores que tomará la variable P_venta en la entidad

Coche

¥ = { -∞ , + ∞ }
¥¦ = { 0 , + ∞ }

Descripción de las entidades y sus atributos en lenguaje Z

Coche
Matricula : MATRICULA Matricula :
Coche © MATRICULA
Marca : MARCA
Modelo : MODELO ∀ c : Coche
× c.cod = MATRICULA
 Color : COLOR
P_venta : ¥¦
---------------------------------------------------------------------------------------------------------
-----------
Cliente
Nif : NIF
Id_cliente : ID_CLIENTE NIF :
Cliente © NIF
Nombre : NOMBRE
Direccion : DIRECCION ∀ p: Cliente
× p.id = NIF(p)
Ciudad : CIUDAD
Telefono : TELEFONO
----------------------------------------------------------------------------
Revision
Cod_rev : COD_REVISION
C_aceite : C_ACEITE Id_revision :
Revision © ID_REVISION
C_frenos : C_FRENOS
C_filtro : C_FILTRO ∀ r : Revison ×
r.id = ID_REVISION(r)
Otro : OTRO
Matricula : MATRICULA

----------------------------------------------------------------------------------------------------------
-----------

Concesionario
Matricula : ID_MATRICULA Matricula : Concesionario
©COD_MATRICULA , COD_REVISION
Id_revision: ID_REVISION
(∀ r : Revision × r.id = ID_REVISION(r)) ^
(∀ s : COD_MATRICULA × s.id =
COD_REVISION(s))

Esquema general de la empresa Vendedora de Automóviles

Venta_Autos

Persona : ¡ CLIENTE
Venta : Id_Cliente © COCHE
Revision: Cod_Revision © COCHE
Coche : COCHE

Persona ³ dom Venta

Coche ³ ran Revision
Operación del registro de una venta

Registrar_Venta

ó Venta_Autos
c? : Id_Cliente © CLIENTES
a? : Coche
v ? : Venta ú Cliente ª Coche
r ! : Respuesta

v? : ´ Venta
c? : ³ dom Venta
a? : ³ ran Venta
Venta' = Venta ¼ { c? ª v? }
r ! = Venta_realizada

Operación de Actualizar Cliente

Actualizar_Cliente

ó Venta_Autos
c? : Id_Cliente © CLIENTES
dnueva? : Id_Cliente ©CLIENTES
r ! : Respuesta

c? : ³ domVenta ^ dnuevo ≠ Id_Cliente © CLIENTES

Persona' = persona É { dnueva?}
r ! = Cliente_Actualizado

Operación de consulta de Revisión

Revisiones_Auto

ô Venta_Autos
a? : Coche
r ! : Respuesta

a? ³ dom Revision
r! : Auto_Revisado
 Exito

r! : Respuesta

r! = Cliente_Actualizado | Venta_Realizada | Auto_Revisado