CREATE TABLE USUARIO(
   nombre_usuario VARCHAR(30) NOT NULL,
   contrasena VARCHAR(20) NOT NULL,
   correo_usuario VARCHAR(50),
   es_admin boolean NOT NULL,
   PRIMARY KEY(correo_usuario)
);

CREATE TABLE PROFESOR(
   rfc VARCHAR(13),
   nombre_profesor VARCHAR(50) NOT NULL,
   apellido_p VARCHAR(50) NOT NULL,
   apellido_m VARCHAR(50) NOT NULL,
   PRIMARY KEY(rfc)
);

CREATE TABLE MATERIA(
   clave_materia INTEGER, --Check IN
   nombre_materia VARCHAR(50) NOT NULL, --Check Exp REg empieza letra
   semestre_materia INTEGER NOT NULL,-- CHECK (semestre_materia),  in ()
   PRIMARY KEY(clave_materia)
);

CREATE TABLE CARRERA(
   clave_carrera INTEGER, --CHECK IN
   nombre_carrera VARCHAR(30) NOT NULL, --CHECK IN
   PRIMARY KEY(clave_carrera)
);

CREATE TABLE DOCUMENTO(
   id_documento INTEGER, --
   nombre_documento VARCHAR(70) NOT NULL, --
   ruta_documento VARCHAR(400) NOT NULL, --
   peso_docuento float NOT NULL, -- Check number
   correo_usuario VARCHAR(35), --Check exp reg __@__.__
   clave_m INTEGER,
   PRIMARY KEY(id_documento),
   FOREIGN KEY (clave_m) REFERENCES MATERIA(clave_materia),
   FOREIGN KEY (correo_usuario) REFERENCES USUARIO(correo_usuario)
);

CREATE TABLE REPORTE(
   correo_usuario VARCHAR(50),
   id_documento INTEGER,
   razon_reporte VARCHAR(50),
   FOREIGN KEY(correo_usuario) REFERENCES USUARIO(correo_usuario),
   FOREIGN KEY(id_documento) REFERENCES DOCUMENTO(id_documento)
);

-- Tablas de relacion
CREATE TABLE PROF_MATERIA(
   rfc_p VARCHAR(13),--check?
   clave_m INTEGER, -- CHECK?
   FOREIGN KEY(rfc_p) REFERENCES PROFESOR(rfc),
   FOREIGN KEY(clave_m) REFERENCES MATERIA(clave_materia)
);

CREATE TABLE MATERIA_CARRERA(
   clave_m INTEGER,
   clave_c INTEGER,
   FOREIGN KEY(clave_m) REFERENCES MATERIA(clave_materia),
   FOREIGN KEY(clave_c) REFERENCES CARRERA(clave_carrera)
);

CREATE TABLE USUARIO_DOCUMENTO(
   correo_usuario VARCHAR(50),
   id_documento INTEGER,
   FOREIGN KEY(correo_usuario) REFERENCES USUARIO(correo_usuario),
   FOREIGN KEY(id_documento) REFERENCES DOCUMENTO(id_documento)
);