Universidad Estatal de Bolívar

Autores:
Sebastián Paz
Henry Sinche
Luis Torres

Docente:
Ing. Maricela Espín

Asignatura:
Modelamiento de Software

Ciclo:
5to

Carrera:
Ingeniería en Software
 1. Explicación de la solución para el caso de estudio E-R Alquiler de Viviendas

La solución más óptima en el desarrollo del diagrama E-R de Alquiler de viviendas tenemos
como resultado los siguientes supuestos:

Supuesto N°1

Para este supuesto ingresamos un Check en la tabla alquileres:

Fecha_Firma<=Fecha_Inicio;
Fecha_Fin>=Fecha_Inicio;
Funciones que verifican redundancias en las fechas de Firma, Inicio, fin del contrato de alquiler.
 Supuesto N°2
Para el supuesto 2 se utilizan las siguientes funciones:

Fecha_Nacimiento>+18Años && <Alquileres.Fecha_Firma;

Función que verifica la Edad del inquilino para realizar un contrato de alquiler.

Supuesto N°3
Para el supuesto 3 se utilizan las siguientes funciones:

Para este supuesto se utiliza el atributo Unique, para que no existan 2 o más contratos de para
una única vivienda.

Supuesto N°4

En este supuesto también se agregan los atributos Unique, para evitar la redundancia entre
fechas antiguas y nuevas de alquiles para la vivienda

Alqu_Nuevo/= Alq_Nuevo-1;

Alqu_antiguo /= Alq_Alniguo-1;
 Supuesto N°5

Para evitar este supuesto se agregaron los atributos Unique para los nuevos y antiguos
alquileres, también para los contratos de alquiler de una vivienda.

Supuesto N°6

Se usa la siguiente función para verificar el valor de los rublos:

Fianza (Int) && Importe (Int)>=0;

Supuesto N°7

Se agrega un módulo función para verificar el formato de los datos:

import java.util.regex.*;

public class Formato

{
public static void main(String[] args)
{
Pattern patron = Pattern.compile("[0-9]{8}-[char]{1}");
Matcher mat = patron.matcher("6412365-L");
if(mat.matches()){
System.out.println("FORMATO CORRECTO");
}else{
System.out.println("FORMATO INCORRECTO");
}
}
}
Diagrama Entidad-Relación (E-R) Solución: