33
CREATE TABLE semester (
34
semesterid SERIAL PRIMARY KEY NOT NULL,
35
year CHAR(4) NOT NULL,
36
semester CHAR(1) NOT NULL,
38
UNIQUE (year, semester)
41
CREATE OR REPLACE FUNCTION deactivate_semester_enrolments_update()
44
IF OLD.active = true AND NEW.active = false THEN
45
UPDATE enrolment SET active=false WHERE offeringid IN (
46
SELECT offeringid FROM offering WHERE offering.semesterid = NEW.semesterid);
52
CREATE TRIGGER deactivate_semester_enrolments
53
AFTER UPDATE ON semester
54
FOR EACH ROW EXECUTE PROCEDURE deactivate_semester_enrolments_update();
30
56
CREATE TABLE offering (
31
57
offeringid SERIAL PRIMARY KEY NOT NULL,
32
58
subject INT4 REFERENCES subject (subjectid) NOT NULL,
33
year CHAR(4) NOT NULL,
34
semester CHAR(1) NOT NULL,
35
max_groups_per_student INT4 DEFAULT 1,
36
max_students_per_group INT4 DEFAULT 4,
37
groups_student_permissions VARCHAR NOT NULL
38
CHECK (groups_student_permissions in ('none', 'invite',
41
UNIQUE (subject, year, semester)
59
semesterid INTEGER REFERENCES semester (semesterid) NOT NULL,
60
groups_student_permissions VARCHAR NOT NULL DEFAULT 'none',
61
CHECK (groups_student_permissions in ('none', 'invite', 'create')),
62
UNIQUE (subject, semesterid)
65
-- Projects and groups
66
-- -------------------
68
CREATE TABLE project_set (
69
projectsetid SERIAL PRIMARY KEY NOT NULL,
70
offeringid INTEGER REFERENCES offering (offeringid) NOT NULL,
71
max_students_per_group INTEGER NOT NULL DEFAULT 4
44
74
CREATE TABLE project (
45
75
projectid SERIAL PRIMARY KEY NOT NULL,
48
offeringid INT4 REFERENCES offering (offeringid) NOT NULL,
78
projectsetid INTEGER REFERENCES project_set (projectsetid) NOT NULL,
52
82
CREATE TABLE project_group (
53
83
groupnm VARCHAR NOT NULL,
54
84
groupid SERIAL PRIMARY KEY NOT NULL,
55
offeringid INT4 REFERENCES offering (offeringid),
85
projectsetid INTEGER REFERENCES project_set (projectsetid) NOT NULL,
57
87
createdby INT4 REFERENCES login (loginid) NOT NULL,
58
88
epoch TIMESTAMP NOT NULL,
59
UNIQUE (offeringid, groupnm)
89
UNIQUE (projectsetid, groupnm)
92
CREATE OR REPLACE FUNCTION check_group_namespacing_insertupdate()
97
SELECT offeringid INTO oid FROM project_set WHERE project_set.projectsetid = NEW.projectsetid;
98
PERFORM 1 FROM project_group, project_set WHERE project_group.projectsetid = project_set.projectsetid AND project_group.groupnm = NEW.groupnm;
100
RAISE EXCEPTION ''a project group named % already exists in offering ID %'', NEW.groupnm, oid;
104
' LANGUAGE 'plpgsql';
106
CREATE TRIGGER check_group_namespacing
107
BEFORE INSERT OR UPDATE ON project_group
108
FOR EACH ROW EXECUTE PROCEDURE check_group_namespacing_insertupdate();
62
110
CREATE TABLE group_invitation (
63
111
loginid INT4 REFERENCES login (loginid) NOT NULL,
64
112
groupid INT4 REFERENCES project_group (groupid) NOT NULL,
85
131
special_supp_result VARCHAR,
133
active BOOL NOT NULL DEFAULT true,
87
134
PRIMARY KEY (loginid,offeringid)
137
CREATE OR REPLACE FUNCTION confirm_active_semester_insertupdate()
142
SELECT semester.active INTO active FROM offering, semester WHERE offeringid=NEW.offeringid AND semester.semesterid = offering.semesterid;
143
IF NOT active AND NEW.active = true THEN
144
RAISE EXCEPTION ''cannot have active enrolment for % in offering %, as the semester is inactive'', NEW.loginid, NEW.offeringid;
148
' LANGUAGE 'plpgsql';
150
CREATE TRIGGER confirm_active_semester
151
BEFORE INSERT OR UPDATE ON enrolment
152
FOR EACH ROW EXECUTE PROCEDURE confirm_active_semester_insertupdate();
90
154
CREATE TABLE assessed (
91
155
assessedid SERIAL PRIMARY KEY NOT NULL,
92
156
loginid INT4 REFERENCES login (loginid),