1
CREATE SEQUENCE login_unixid_seq MINVALUE 1000 MAXVALUE 29999 START WITH 5000;
4
2
loginid SERIAL PRIMARY KEY NOT NULL,
5
3
login VARCHAR UNIQUE NOT NULL,
7
5
state VARCHAR NOT NULL CHECK (state in ('no_agreement', 'pending',
8
'enabled', 'disabled'))
9
DEFAULT 'no_agreement',
10
rolenm VARCHAR NOT NULL CHECK (rolenm in ('anyone', 'student',
12
'lecturer', 'admin')),
13
unixid INT UNIQUE DEFAULT nextval('login_unixid_seq') NOT NULL,
6
'enabled', 'disabled')),
7
rolenm VARCHAR NOT NULL CHECK (rolenm in ('guest', 'student',
10
unixid INT UNIQUE NOT NULL, -- unix user id
14
11
nick VARCHAR NOT NULL,
15
12
pass_exp TIMESTAMP,
16
13
acct_exp TIMESTAMP,
17
14
last_login TIMESTAMP,
20
16
fullname VARCHAR NOT NULL,
21
studentid VARCHAR, -- may be null
26
CREATE TABLE subject (
27
subjectid SERIAL PRIMARY KEY NOT NULL,
28
subj_code VARCHAR UNIQUE NOT NULL,
29
subj_name VARCHAR NOT NULL,
30
subj_short_name VARCHAR UNIQUE NOT NULL,
34
CREATE TABLE semester (
35
semesterid SERIAL PRIMARY KEY NOT NULL,
17
studentid VARCHAR -- may be null
20
CREATE TABLE offering (
21
offeringid SERIAL PRIMARY KEY NOT NULL,
22
subj_name VARCHAR NOT NULL,
23
subj_code VARCHAR NOT NULL,
36
24
year CHAR(4) NOT NULL,
37
25
semester CHAR(1) NOT NULL,
39
UNIQUE (year, semester)
42
CREATE OR REPLACE FUNCTION deactivate_semester_enrolments_update()
45
IF OLD.active = true AND NEW.active = false THEN
46
UPDATE enrolment SET active=false WHERE offeringid IN (
47
SELECT offeringid FROM offering WHERE offering.semesterid = NEW.semesterid);
53
CREATE TRIGGER deactivate_semester_enrolments
54
AFTER UPDATE ON semester
55
FOR EACH ROW EXECUTE PROCEDURE deactivate_semester_enrolments_update();
57
CREATE TABLE offering (
58
offeringid SERIAL PRIMARY KEY NOT NULL,
59
subject INT4 REFERENCES subject (subjectid) NOT NULL,
60
semesterid INTEGER REFERENCES semester (semesterid) NOT NULL,
61
groups_student_permissions VARCHAR NOT NULL DEFAULT 'none',
62
CHECK (groups_student_permissions in ('none', 'invite', 'create')),
63
UNIQUE (subject, semesterid)
67
CREATE TABLE project_set (
68
projectsetid SERIAL PRIMARY KEY NOT NULL,
69
offeringid INTEGER REFERENCES offering (offeringid) NOT NULL,
70
max_students_per_group INTEGER NOT NULL DEFAULT 4
73
29
CREATE TABLE project (
74
30
projectid SERIAL PRIMARY KEY NOT NULL,
77
projectsetid INTEGER REFERENCES project_set (projectsetid) NOT NULL,
33
offeringid INT4 REFERENCES offering (offeringid) NOT NULL,
81
37
CREATE TABLE project_group (
82
38
groupnm VARCHAR NOT NULL,
83
39
groupid SERIAL PRIMARY KEY NOT NULL,
84
projectsetid INTEGER REFERENCES project_set (projectsetid) NOT NULL,
40
offeringid INT4 REFERENCES offering (offeringid),
86
42
createdby INT4 REFERENCES login (loginid) NOT NULL,
87
43
epoch TIMESTAMP NOT NULL,
88
UNIQUE (projectsetid, groupnm)
44
UNIQUE (offeringid, groupnm)
91
CREATE OR REPLACE FUNCTION check_group_namespacing_insertupdate()
96
SELECT offeringid INTO oid FROM project_set WHERE project_set.projectsetid = NEW.projectsetid;
97
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;
99
RAISE EXCEPTION ''a project group named % already exists in offering ID %'', NEW.groupnm, oid;
103
' LANGUAGE 'plpgsql';
105
CREATE TRIGGER check_group_namespacing
106
BEFORE INSERT OR UPDATE ON project_group
107
FOR EACH ROW EXECUTE PROCEDURE check_group_namespacing_insertupdate();
109
47
CREATE TABLE group_invitation (
110
48
loginid INT4 REFERENCES login (loginid) NOT NULL,
111
49
groupid INT4 REFERENCES project_group (groupid) NOT NULL,
134
70
special_supp_result VARCHAR,
136
active BOOL NOT NULL DEFAULT true,
137
72
PRIMARY KEY (loginid,offeringid)
140
CREATE OR REPLACE FUNCTION confirm_active_semester_insertupdate()
145
SELECT semester.active INTO active FROM offering, semester WHERE offeringid=NEW.offeringid AND semester.semesterid = offering.semesterid;
146
IF NOT active AND NEW.active = true THEN
147
RAISE EXCEPTION ''cannot have active enrolment for % in offering %, as the semester is inactive'', NEW.loginid, NEW.offeringid;
151
' LANGUAGE 'plpgsql';
153
CREATE TRIGGER confirm_active_semester
154
BEFORE INSERT OR UPDATE ON enrolment
155
FOR EACH ROW EXECUTE PROCEDURE confirm_active_semester_insertupdate();
157
75
CREATE TABLE assessed (
158
76
assessedid SERIAL PRIMARY KEY NOT NULL,
159
77
loginid INT4 REFERENCES login (loginid),
160
78
groupid INT4 REFERENCES project_group (groupid),
161
projectid INT4 REFERENCES project (projectid) NOT NULL,
162
79
-- exactly one of loginid and groupid must be non-null
163
80
CHECK ((loginid IS NOT NULL AND groupid IS NULL)
164
81
OR (loginid IS NULL AND groupid IS NOT NULL))
167
84
CREATE TABLE project_extension (
168
85
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
86
projectid INT4 REFERENCES project (projectid) NOT NULL,
169
87
deadline TIMESTAMP NOT NULL,
170
88
approver INT4 REFERENCES login (loginid) NOT NULL,
174
CREATE TABLE project_submission (
175
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
176
path VARCHAR NOT NULL,
177
revision INT4 NOT NULL
180
92
CREATE TABLE project_mark (
181
93
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
94
projectid INT4 REFERENCES project (projectid) NOT NULL,
183
96
marker INT4 REFERENCES login (loginid) NOT NULL,
191
103
CREATE TABLE problem (
192
104
problemid SERIAL PRIMARY KEY NOT NULL,
193
identifier VARCHAR UNIQUE NOT NULL,
197
CREATE TABLE worksheet (
198
worksheetid SERIAL PRIMARY KEY NOT NULL,
199
subject VARCHAR NOT NULL,
200
identifier VARCHAR NOT NULL,
203
UNIQUE (subject, identifier)
206
CREATE TABLE worksheet_problem (
207
worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
208
problemid INT4 REFERENCES problem (problemid) NOT NULL,
210
PRIMARY KEY (worksheetid, problemid)
213
108
CREATE TABLE problem_tag (
214
109
problemid INT4 REFERENCES problem (problemid),
215
110
tag VARCHAR NOT NULL,
246
139
date TIMESTAMP NOT NULL,
247
140
attempt VARCHAR NOT NULL,
248
141
complete BOOLEAN NOT NULL,
249
active BOOLEAN NOT NULL DEFAULT true,
250
142
PRIMARY KEY (problemid,loginid,date)
253
CREATE TABLE problem_save (
254
problemid INT4 REFERENCES problem (problemid) NOT NULL,
255
loginid INT4 REFERENCES login (loginid) NOT NULL,
256
date TIMESTAMP NOT NULL,
257
text VARCHAR NOT NULL,
258
PRIMARY KEY (problemid,loginid)
261
145
CREATE INDEX problem_attempt_index ON problem_attempt (problemid, loginid);
263
147
CREATE TABLE problem_attempt_breakdown (