Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ESQUEMA RELACIONAL
1. Diagrama relacional
B. CHECKS:
1. Todas las marcas temporales son valores positivos
C. ASERCIONES / OTROS:
1. Si FACTURA.tipo = recibida ⇒ tupla con el mismo ID en FACTURA_RECIBIDA y ∄ tupla en FACTURA
EMITIDA
2. Si FACTURA.tipo = emitida ⇒ tupla con el mismo ID en FACTURA_EMITIDA y ∄ tupla en
FACTURA_RECIBIDA
3. Si FACTURA.tipo = rectificativa ⇒ tupla con el mismo ID en FACTURA_EMITIDA y ∄ tupla en
FACTURA_RECIBIDA y tupla con el mismo ID en FACTURA_RECTIFICATIVA
4. Cuando una factura rectificativa corrige a otra factura, el estado de esta última se debe llevar a
“rectificada”
5. Cuando una factura rectificativa corrige a otra factura, el estado de esta última se debe llevar a
“rectificada”
6. Si la suma de los pagos recibidos contra una factura es mayor o igual a su importe, la factura pasará al
estado de “pagada”
7. Si la suma de los pagos enviados contra una factura recibida es igual a su importe, la factura pasará al
estado de “pagada”
SE PIDE:
Implementar en el SGBD MariaDB, realizando en cada punto todas las aclaraciones y justificaciones necesarias.
1. (0,20 ptos.) Implementación de TABLAS, con todas las restricciones de clave primaria, alternativas, ajenas,
restricciones de integridad referencial, definiendo si los atributos pueden o no ser nulos, sus tipos y restricciones
que puedan existir en sus dominios. Los nombres de las tablas y de los atributos deben ser exactamente iguales
a los indicados en el grafo relacional para poder realizar pruebas sobre la implementación realizada.
2. (0,20 ptos.) Implementación de Checks, Aserciones y Disparadores (o procedimientos almacenados)
especificados en el apartado 2 Supuestos semánticos no incluidos en el diagrama relacional
3. (0,10 ptos.) Consultas:
a. Necesidades de tesorería de los últimos 12 meses, es decir, debe presentar la diferencia mensual entre
los cobros recibidos y los pagos realizados
b. Facturas pendientes de pago y sus importes