2
CREATE SEQUENCE login_unixid_seq MINVALUE 1000 MAXVALUE 29999 START WITH 5000;
5
2
loginid SERIAL PRIMARY KEY NOT NULL,
6
3
login VARCHAR UNIQUE NOT NULL,
8
5
state VARCHAR NOT NULL CHECK (state in ('no_agreement', 'pending',
9
'enabled', 'disabled'))
10
DEFAULT 'no_agreement',
11
rolenm VARCHAR NOT NULL CHECK (rolenm in ('anyone', 'student',
13
'lecturer', 'admin')),
14
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
15
11
nick VARCHAR NOT NULL,
16
12
pass_exp TIMESTAMP,
17
13
acct_exp TIMESTAMP,
18
14
last_login TIMESTAMP,
21
16
fullname VARCHAR NOT NULL,
22
studentid VARCHAR, -- may be null
27
CREATE TABLE subject (
28
subjectid SERIAL PRIMARY KEY NOT NULL,
29
subj_code VARCHAR UNIQUE NOT NULL,
30
subj_name VARCHAR NOT NULL,
31
subj_short_name VARCHAR UNIQUE NOT NULL,
35
CREATE TABLE semester (
36
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,
37
24
year CHAR(4) NOT NULL,
38
25
semester CHAR(1) NOT NULL,
40
UNIQUE (year, semester)
43
CREATE OR REPLACE FUNCTION deactivate_semester_enrolments_update()
46
IF OLD.active = true AND NEW.active = false THEN
47
UPDATE enrolment SET active=false WHERE offeringid IN (
48
SELECT offeringid FROM offering WHERE offering.semesterid = NEW.semesterid);
54
CREATE TRIGGER deactivate_semester_enrolments
55
AFTER UPDATE ON semester
56
FOR EACH ROW EXECUTE PROCEDURE deactivate_semester_enrolments_update();
58
CREATE TABLE offering (
59
offeringid SERIAL PRIMARY KEY NOT NULL,
60
subject INT4 REFERENCES subject (subjectid) NOT NULL,
61
semesterid INTEGER REFERENCES semester (semesterid) NOT NULL,
62
groups_student_permissions VARCHAR NOT NULL DEFAULT 'none',
63
CHECK (groups_student_permissions in ('none', 'invite', 'create')),
64
UNIQUE (subject, semesterid)
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
74
29
CREATE TABLE project (
75
30
projectid SERIAL PRIMARY KEY NOT NULL,
78
projectsetid INTEGER REFERENCES project_set (projectsetid) NOT NULL,
33
offeringid INT4 REFERENCES offering (offeringid) NOT NULL,
82
37
CREATE TABLE project_group (
83
38
groupnm VARCHAR NOT NULL,
84
39
groupid SERIAL PRIMARY KEY NOT NULL,
85
projectsetid INTEGER REFERENCES project_set (projectsetid) NOT NULL,
40
offeringid INT4 REFERENCES offering (offeringid),
87
42
createdby INT4 REFERENCES login (loginid) NOT NULL,
88
43
epoch TIMESTAMP NOT NULL,
89
UNIQUE (projectsetid, groupnm)
44
UNIQUE (offeringid, 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_set.offeringid = oid AND 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();
110
47
CREATE TABLE group_invitation (
111
48
loginid INT4 REFERENCES login (loginid) NOT NULL,
112
49
groupid INT4 REFERENCES project_group (groupid) NOT NULL,
135
70
special_supp_result VARCHAR,
137
active BOOL NOT NULL DEFAULT true,
138
72
PRIMARY KEY (loginid,offeringid)
141
CREATE OR REPLACE FUNCTION confirm_active_semester_insertupdate()
146
SELECT semester.active INTO active FROM offering, semester WHERE offeringid=NEW.offeringid AND semester.semesterid = offering.semesterid;
147
IF NOT active AND NEW.active = true THEN
148
RAISE EXCEPTION ''cannot have active enrolment for % in offering %, as the semester is inactive'', NEW.loginid, NEW.offeringid;
152
' LANGUAGE 'plpgsql';
154
CREATE TRIGGER confirm_active_semester
155
BEFORE INSERT OR UPDATE ON enrolment
156
FOR EACH ROW EXECUTE PROCEDURE confirm_active_semester_insertupdate();
158
75
CREATE TABLE assessed (
159
76
assessedid SERIAL PRIMARY KEY NOT NULL,
160
77
loginid INT4 REFERENCES login (loginid),
161
78
groupid INT4 REFERENCES project_group (groupid),
162
projectid INT4 REFERENCES project (projectid) NOT NULL,
163
79
-- exactly one of loginid and groupid must be non-null
164
80
CHECK ((loginid IS NOT NULL AND groupid IS NULL)
165
81
OR (loginid IS NULL AND groupid IS NOT NULL))
168
84
CREATE TABLE project_extension (
169
85
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
86
projectid INT4 REFERENCES project (projectid) NOT NULL,
170
87
deadline TIMESTAMP NOT NULL,
171
88
approver INT4 REFERENCES login (loginid) NOT NULL,
175
CREATE TABLE project_submission (
176
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
177
path VARCHAR NOT NULL,
178
revision INT4 NOT NULL
181
92
CREATE TABLE project_mark (
182
93
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
94
projectid INT4 REFERENCES project (projectid) NOT NULL,
184
96
marker INT4 REFERENCES login (loginid) NOT NULL,
191
CREATE TABLE exercise (
192
identifier TEXT PRIMARY KEY,
201
CREATE TABLE worksheet (
202
worksheetid SERIAL PRIMARY KEY,
203
offeringid INT4 REFERENCES offering (offeringid) NOT NULL,
204
identifier TEXT NOT NULL,
207
assessable BOOLEAN NOT NULL,
208
seq_no INT4 NOT NULL,
209
format TEXT NOT NUll,
210
UNIQUE (offeringid, identifier)
213
CREATE TABLE worksheet_exercise (
214
ws_ex_id SERIAL PRIMARY KEY,
215
worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
216
exerciseid TEXT REFERENCES exercise (identifier) NOT NULL,
217
seq_no INT4 NOT NULL,
218
active BOOLEAN NOT NULL DEFAULT true,
219
optional BOOLEAN NOT NULL,
220
UNIQUE (worksheetid, exerciseid)
223
CREATE TABLE exercise_attempt (
103
CREATE TABLE problem (
104
problemid SERIAL PRIMARY KEY NOT NULL,
108
CREATE TABLE problem_tag (
109
problemid INT4 REFERENCES problem (problemid),
110
tag VARCHAR NOT NULL,
112
standard BOOLEAN NOT NULL,
113
added_by INT4 REFERENCES login (loginid) NOT NULL,
114
date TIMESTAMP NOT NULL,
115
PRIMARY KEY (problemid,added_by,tag)
118
CREATE TABLE problem_test_case (
119
problemid INT4 REFERENCES problem (problemid) NOT NULL,
120
testcaseid SERIAL UNIQUE NOT NULL,
123
visibility VARCHAR CHECK (visibility in ('public', 'protected', 'private'))
126
CREATE TABLE problem_test_case_tag (
127
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
128
tag VARCHAR NOT NULL,
130
standard BOOLEAN NOT NULL,
131
added_by INT4 REFERENCES login (loginid) NOT NULL,
132
date TIMESTAMP NOT NULL,
133
PRIMARY KEY (testcaseid,added_by,tag)
136
CREATE TABLE problem_attempt (
137
problemid INT4 REFERENCES problem (problemid) NOT NULL,
224
138
loginid INT4 REFERENCES login (loginid) NOT NULL,
225
ws_ex_id INT4 REFERENCES worksheet_exercise (ws_ex_id) NOT NULL,
226
139
date TIMESTAMP NOT NULL,
227
attempt TEXT NOT NULL,
140
attempt VARCHAR NOT NULL,
228
141
complete BOOLEAN NOT NULL,
229
active BOOLEAN NOT NULL DEFAULT true,
230
PRIMARY KEY (loginid, ws_ex_id, date)
142
PRIMARY KEY (problemid,loginid,date)
233
CREATE TABLE exercise_save (
145
CREATE INDEX problem_attempt_index ON problem_attempt (problemid, loginid);
147
CREATE TABLE problem_attempt_breakdown (
148
problemid INT4 REFERENCES problem (problemid) NOT NULL,
149
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
234
150
loginid INT4 REFERENCES login (loginid) NOT NULL,
235
ws_ex_id INT4 REFERENCES worksheet_exercise (ws_ex_id) NOT NULL,
236
151
date TIMESTAMP NOT NULL,
238
PRIMARY KEY (loginid, ws_ex_id)
241
CREATE TABLE test_suite (
242
suiteid SERIAL PRIMARY KEY,
243
exerciseid TEXT REFERENCES exercise (identifier) NOT NULL,
250
CREATE TABLE test_case (
251
testid SERIAL PRIMARY KEY,
252
suiteid INT4 REFERENCES test_suite (suiteid) NOT NULL,
259
CREATE TABLE suite_variable (
260
varid SERIAL PRIMARY KEY,
261
suiteid INT4 REFERENCES test_suite (suiteid) NOT NULL,
264
var_type TEXT NOT NULL,
268
CREATE TABLE test_case_part (
269
partid SERIAL PRIMARY KEY,
270
testid INT4 REFERENCES test_case (testid) NOT NULL,
271
part_type TEXT NOT NULL,
155
CREATE TABLE problem_prerequisite (
156
parent INT4 REFERENCES problem (problemid) NOT NULL,
157
child INT4 REFERENCES problem (problemid) NOT NULL,
158
PRIMARY KEY (parent,child)