~azzar1/unity/add-show-desktop-key

BEGIN;

CREATE SEQUENCE login_unixid_seq MINVALUE 1000 MAXVALUE 29999 START WITH 5000;

 

                                              'enabled', 'disabled'))

                                 DEFAULT 'no_agreement',

    unixid      INT UNIQUE DEFAULT nextval('login_unixid_seq') NOT NULL,

-- Subjects

-- --------

 

    subj_short_name VARCHAR UNIQUE NOT NULL,

CREATE TABLE semester (

    semesterid  SERIAL PRIMARY KEY NOT NULL,

    year        CHAR(4) NOT NULL,

    semester    CHAR(1) NOT NULL,

    active      BOOL NOT NULL,

    UNIQUE (year, semester)

);

 

CREATE OR REPLACE FUNCTION deactivate_semester_enrolments_update()

RETURNS trigger AS '

    BEGIN

        IF OLD.active = true AND NEW.active = false THEN

            UPDATE enrolment SET active=false WHERE offeringid IN (

            SELECT offeringid FROM offering WHERE offering.semesterid = NEW.semesterid);

        END IF;

        RETURN NULL;

    END;

' LANGUAGE 'plpgsql';

 

CREATE TRIGGER deactivate_semester_enrolments

    AFTER UPDATE ON semester

    FOR EACH ROW EXECUTE PROCEDURE deactivate_semester_enrolments_update();

 

    semesterid  INTEGER REFERENCES semester (semesterid) NOT NULL,

    groups_student_permissions  VARCHAR NOT NULL DEFAULT 'none',

    CHECK (groups_student_permissions in ('none', 'invite', 'create')),

    UNIQUE (subject, semesterid)

);

 

-- Projects and groups

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

 

CREATE TABLE project_set (

    projectsetid  SERIAL PRIMARY KEY NOT NULL,

    offeringid    INTEGER REFERENCES offering (offeringid) NOT NULL,

    max_students_per_group  INTEGER NOT NULL DEFAULT 4

    projectsetid  INTEGER REFERENCES project_set (projectsetid) NOT NULL,

    projectsetid  INTEGER REFERENCES project_set (projectsetid) NOT NULL,

    UNIQUE (projectsetid, groupnm)

CREATE OR REPLACE FUNCTION check_group_namespacing_insertupdate()

RETURNS trigger AS '

    DECLARE

        oid INTEGER;

    BEGIN

        SELECT offeringid INTO oid FROM project_set WHERE project_set.projectsetid = NEW.projectsetid;

        PERFORM 1 FROM project_group, project_set WHERE project_set.offeringid = oid AND project_group.projectsetid = project_set.projectsetid AND project_group.groupnm = NEW.groupnm;

        IF found THEN

            RAISE EXCEPTION ''a project group named % already exists in offering ID %'', NEW.groupnm, oid;

        END IF;

        RETURN NEW;

    END;

' LANGUAGE 'plpgsql';

 

CREATE TRIGGER check_group_namespacing

    BEFORE INSERT OR UPDATE ON project_group

    FOR EACH ROW EXECUTE PROCEDURE check_group_namespacing_insertupdate();

 

    active      BOOL NOT NULL DEFAULT true,

CREATE OR REPLACE FUNCTION confirm_active_semester_insertupdate()

RETURNS trigger AS '

    DECLARE

        active BOOL;

    BEGIN

        SELECT semester.active INTO active FROM offering, semester WHERE offeringid=NEW.offeringid AND semester.semesterid = offering.semesterid;

        IF NOT active AND NEW.active = true THEN

            RAISE EXCEPTION ''cannot have active enrolment for % in offering %, as the semester is inactive'', NEW.loginid, NEW.offeringid;

        END IF;

        RETURN NEW;

    END;

' LANGUAGE 'plpgsql';

 

CREATE TRIGGER confirm_active_semester

    BEFORE INSERT OR UPDATE ON enrolment

    FOR EACH ROW EXECUTE PROCEDURE confirm_active_semester_insertupdate();

 

    projectid   INT4 REFERENCES project (projectid) NOT NULL,

-- Worksheets

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

CREATE TABLE exercise (

    identifier  TEXT PRIMARY KEY,

    name        TEXT,

    description TEXT,

    partial     TEXT,

    solution    TEXT,

    include     TEXT,

    num_rows    INT4

    worksheetid SERIAL PRIMARY KEY,

    offeringid  INT4 REFERENCES offering (offeringid) NOT NULL,

    identifier  TEXT NOT NULL,

    name        TEXT NOT NULL,

    data        TEXT NOT NULL,

    assessable  BOOLEAN NOT NULL,

    seq_no      INT4 NOT NULL,

    format      TEXT NOT NUll,

    UNIQUE (offeringid, identifier)

);

 

CREATE TABLE worksheet_exercise (

    ws_ex_id        SERIAL PRIMARY KEY,

    worksheetid     INT4 REFERENCES worksheet (worksheetid) NOT NULL,

    exerciseid      TEXT REFERENCES exercise (identifier) NOT NULL,

    seq_no          INT4 NOT NULL,

    active          BOOLEAN NOT NULL DEFAULT true,

    optional        BOOLEAN NOT NULL,

    UNIQUE (worksheetid, exerciseid)

);

 

CREATE TABLE exercise_attempt (

    ws_ex_id    INT4 REFERENCES worksheet_exercise (ws_ex_id) NOT NULL,

    attempt     TEXT NOT NULL,

    active      BOOLEAN NOT NULL DEFAULT true,

    PRIMARY KEY (loginid, ws_ex_id, date)

);

 

CREATE TABLE exercise_save (

    loginid     INT4 REFERENCES login (loginid) NOT NULL,

    ws_ex_id    INT4 REFERENCES worksheet_exercise (ws_ex_id) NOT NULL,

    date        TIMESTAMP NOT NULL,

    text        TEXT NOT NULL,

    PRIMARY KEY (loginid, ws_ex_id)

);

 

CREATE TABLE test_suite (

    suiteid     SERIAL PRIMARY KEY,

    exerciseid  TEXT REFERENCES exercise (identifier) NOT NULL,

    description TEXT,

    seq_no      INT4,

    function    TEXT,

    stdin       TEXT

);

 

CREATE TABLE test_case (

    testid          SERIAL PRIMARY KEY,

    suiteid         INT4 REFERENCES test_suite (suiteid) NOT NULL,

    passmsg         TEXT,

    failmsg         TEXT,

    test_default    TEXT,

    seq_no          INT4

);

 

CREATE TABLE suite_variable (

    varid       SERIAL PRIMARY KEY,

    suiteid     INT4 REFERENCES test_suite (suiteid) NOT NULL,

    var_name    TEXT,

    var_value   TEXT,

    var_type    TEXT NOT NULL,

    arg_no      INT4

);

 

CREATE TABLE test_case_part (

    partid          SERIAL PRIMARY KEY,

    testid          INT4 REFERENCES test_case (testid) NOT NULL,

    part_type       TEXT NOT NULL,

    test_type       TEXT,

    data            TEXT,

    filename        TEXT

);

COMMIT;