Bugfix.

[software/sercom-old.git] / doc / schema.sql

diff --git a/doc/schema.sql b/doc/schema.sql
index 556ef70cf99f2b92597e95de9dce7805e2763906..9743ce609af6143ab2b5f7f9ba704f34e47e7431 100644 (file)
--- a/doc/schema.sql
+++ b/doc/schema.sql
@@ -20,7 +20,7 @@ CREATE TABLE inscripto
     curso_id        INTEGER NOT NULL,
     -- campos
     mail            VARCHAR(150) NOT NULL,
     curso_id        INTEGER NOT NULL,
     -- campos
     mail            VARCHAR(150) NOT NULL,

-    activo          INTEGER(1) NOT NULL DEFAULT 1,
+    activo          BOOLEAN NOT NULL DEFAULT 1,

     UNIQUE          (padron, curso_id)
 );
 
     UNIQUE          (padron, curso_id)
 );
 


@@ -31,7 +31,7 @@ CREATE TABLE docente
     nombre          VARCHAR(150) NOT NULL,
     -- campos
     mail            VARCHAR(150) NOT NULL,
     nombre          VARCHAR(150) NOT NULL,
     -- campos
     mail            VARCHAR(150) NOT NULL,

-    corrige         INTEGER(1) NOT NULL DEFAULT 1,
+    corrige         BOOLEAN NOT NULL DEFAULT 1,

     UNIQUE          (nombre)
 );
 
     UNIQUE          (nombre)
 );
 


@@ -65,6 +65,7 @@ CREATE TABLE entrega
     ejercicio_id    INTEGER NOT NULL,
     desde           DATE NOT NULL,
     hasta           DATE NOT NULL,
     ejercicio_id    INTEGER NOT NULL,
     desde           DATE NOT NULL,
     hasta           DATE NOT NULL,

+    finalizada      BOOLEAN NOT NULL DEFAULT 1,

     UNIQUE          (curso_id, nro_ejercicio, entrega)
 );
 
     UNIQUE          (curso_id, nro_ejercicio, entrega)
 );
 


@@ -75,10 +76,11 @@ CREATE TABLE caso_de_prueba
     ejercicio_id    INTEGER NOT NULL,
     nombre          VARCHAR(255) NOT NULL,
     -- campos
     ejercicio_id    INTEGER NOT NULL,
     nombre          VARCHAR(255) NOT NULL,
     -- campos

-    privado         INTEGER(1) NOT NULL,
-    activo          INTEGER(1) NOT NULL DEFAULT 1,
+    privado         BOOLEAN NOT NULL,
+    activo          BOOLEAN NOT NULL DEFAULT 1,

     parametros      VARCHAR(255),
     parametros      VARCHAR(255),

-    salidas         VARCHAR(255),
+    codigo_retorno  INTEGER DEFAULT 0,
+    tiempo_cpu      FLOAT DEFAULT NULL,

     UNIQUE          (ejercicio_id, nombre)
 );
 
     UNIQUE          (ejercicio_id, nombre)
 );
 


@@ -91,10 +93,11 @@ CREATE TABLE intento
     numero          INTEGER NOT NULL,
     -- campos
     llegada         DATE NOT NULL,
     numero          INTEGER NOT NULL,
     -- campos
     llegada         DATE NOT NULL,

+    inicio_compila  DATE,
+    fin_compila     DATE,

     inicio_pruebas  DATE,
     fin_pruebas     DATE,
     inicio_pruebas  DATE,
     fin_pruebas     DATE,

-    compila_ok      INTEGER(1),
-    notificado      INTEGER(1) NOT NULL DEFAULT 0,
+    compila         BOOLEAN,

     mail_respuesta  VARCHAR(150) NOT NULL,
     observaciones   VARCHAR(255),
     UNIQUE          (entrega_id, inscripto_id, llegada)
     mail_respuesta  VARCHAR(150) NOT NULL,
     observaciones   VARCHAR(255),
     UNIQUE          (entrega_id, inscripto_id, llegada)


@@ -123,8 +126,7 @@ CREATE TABLE prueba
     -- campos
     inicio              DATE NOT NULL,
     fin                 DATE,
     -- campos
     inicio              DATE NOT NULL,
     fin                 DATE,

-    memoria_ok          INTEGER(1),
-    salida_ok           INTEGER(1),
+    pasada              BOOLEAN,

     observaciones       VARCHAR(255),
     UNIQUE              (intento_id, caso_de_prueba_id)
 );
     observaciones       VARCHAR(255),
     UNIQUE              (intento_id, caso_de_prueba_id)
 );