1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
|
BEGIN;
-- Check that the provided name is sane for use in URLs.
CREATE OR REPLACE FUNCTION valid_url_name(name text) RETURNS boolean AS
$$
BEGIN
RETURN name ~ E'^[a-z0-9][a-z0-9_\+\.\-]*$';
END;
$$ LANGUAGE 'plpgsql';
-- Just like valid_url_name, except that @ is permitted (so we can use a
-- reasonable subset of email addresses as usernames).
CREATE OR REPLACE FUNCTION valid_login_name(name text) RETURNS boolean AS
$$
BEGIN
RETURN name ~ E'^[a-z0-9][a-z0-9@_\+\.\-]*$';
END;
$$ LANGUAGE 'plpgsql';
CREATE SEQUENCE login_unixid_seq MINVALUE 1000 MAXVALUE 29999 START WITH 5000;
CREATE TABLE login (
loginid SERIAL PRIMARY KEY NOT NULL,
login VARCHAR UNIQUE NOT NULL CHECK (valid_login_name(login)),
passhash VARCHAR,
state VARCHAR NOT NULL CHECK (state in ('no_agreement', 'pending',
'enabled', 'disabled'))
DEFAULT 'no_agreement',
admin BOOLEAN NOT NULL DEFAULT false,
unixid INT UNIQUE DEFAULT nextval('login_unixid_seq') NOT NULL,
nick VARCHAR NOT NULL,
pass_exp TIMESTAMP,
acct_exp TIMESTAMP,
last_login TIMESTAMP,
svn_pass VARCHAR,
email VARCHAR,
fullname VARCHAR NOT NULL,
studentid VARCHAR, -- may be null
settings VARCHAR
);
-- Subjects
-- --------
CREATE TABLE subject (
subjectid SERIAL PRIMARY KEY NOT NULL,
subj_code VARCHAR UNIQUE NOT NULL,
subj_name VARCHAR NOT NULL,
subj_short_name VARCHAR UNIQUE NOT NULL CHECK (valid_url_name(subj_short_name))
);
CREATE TABLE semester (
semesterid SERIAL PRIMARY KEY NOT NULL,
year TEXT NOT NULL CHECK (valid_url_name(year)),
url_name TEXT NOT NULL CHECK (valid_url_name(url_name)),
code TEXT NOT NULL,
display_name TEXT NOT NULL,
state TEXT NOT NULL CHECK (state IN ('disabled', 'past',
'current', 'future')) DEFAULT 'current',
UNIQUE (year, url_name),
UNIQUE (year, code)
);
CREATE TABLE offering (
offeringid SERIAL PRIMARY KEY NOT NULL,
subject INT4 REFERENCES subject (subjectid) NOT NULL,
semesterid INTEGER REFERENCES semester (semesterid) NOT NULL,
description VARCHAR,
url VARCHAR,
show_worksheet_marks BOOLEAN NOT NULL DEFAULT false,
worksheet_cutoff TIMESTAMP,
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
);
CREATE TABLE project (
projectid SERIAL PRIMARY KEY NOT NULL,
short_name TEXT NOT NULL CHECK (valid_url_name(short_name)),
name TEXT NOT NULL,
synopsis TEXT,
url TEXT,
projectsetid INTEGER REFERENCES project_set (projectsetid) NOT NULL,
deadline TIMESTAMP NOT NULL
);
CREATE OR REPLACE FUNCTION check_project_namespacing_insertupdate()
RETURNS trigger AS '
DECLARE
oid INTEGER;
BEGIN
IF TG_OP = ''UPDATE'' THEN
IF NEW.projectsetid = OLD.projectsetid AND NEW.short_name = OLD.short_name THEN
RETURN NEW;
END IF;
END IF;
SELECT offeringid INTO oid FROM project_set WHERE project_set.projectsetid = NEW.projectsetid;
PERFORM 1 FROM project, project_set
WHERE project_set.offeringid = oid AND
project.projectsetid = project_set.projectsetid AND
project.short_name = NEW.short_name;
IF found THEN
RAISE EXCEPTION ''a project named % already exists in offering ID %'', NEW.short_name, oid;
END IF;
RETURN NEW;
END;
' LANGUAGE 'plpgsql';
CREATE TRIGGER check_project_namespacing
BEFORE INSERT OR UPDATE ON project
FOR EACH ROW EXECUTE PROCEDURE check_project_namespacing_insertupdate();
CREATE TABLE project_group (
groupnm VARCHAR NOT NULL CHECK (valid_url_name(groupnm)),
groupid SERIAL PRIMARY KEY NOT NULL,
projectsetid INTEGER REFERENCES project_set (projectsetid) NOT NULL,
nick VARCHAR,
createdby INT4 REFERENCES login (loginid) NOT NULL,
epoch TIMESTAMP 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();
CREATE TABLE group_invitation (
loginid INT4 REFERENCES login (loginid) NOT NULL,
groupid INT4 REFERENCES project_group (groupid) NOT NULL,
inviter INT4 REFERENCES login (loginid) NOT NULL,
invited TIMESTAMP NOT NULL,
accepted TIMESTAMP,
UNIQUE (loginid,groupid)
);
CREATE TABLE group_member (
loginid INT4 REFERENCES login (loginid),
groupid INT4 REFERENCES project_group (groupid),
PRIMARY KEY (loginid,groupid)
);
CREATE TABLE enrolment (
loginid INT4 REFERENCES login (loginid),
offeringid INT4 REFERENCES offering (offeringid),
role TEXT NOT NULL CHECK (role IN ('student', 'tutor',
'lecturer')) DEFAULT 'student',
result INT,
special_result VARCHAR,
supp_result INT,
special_supp_result VARCHAR,
notes VARCHAR,
active BOOL NOT NULL DEFAULT true,
PRIMARY KEY (loginid,offeringid)
);
CREATE TABLE assessed (
assessedid SERIAL PRIMARY KEY NOT NULL,
loginid INT4 REFERENCES login (loginid),
groupid INT4 REFERENCES project_group (groupid),
projectid INT4 REFERENCES project (projectid) NOT NULL,
-- exactly one of loginid and groupid must be non-null
CHECK ((loginid IS NOT NULL AND groupid IS NULL)
OR (loginid IS NULL AND groupid IS NOT NULL))
);
-- We must use conditional constraints here -- NULL != NULL.
CREATE UNIQUE INDEX assessed_loginid_key ON assessed(loginid, projectid) WHERE loginid IS NOT NULL;
CREATE UNIQUE INDEX assessed_groupid_key ON assessed(groupid, projectid) WHERE groupid IS NOT NULL;
CREATE TABLE project_extension (
extensionid SERIAL PRIMARY KEY,
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
days INT NOT NULL,
approver INT4 REFERENCES login (loginid) NOT NULL,
notes VARCHAR
);
CREATE TABLE project_submission (
submissionid SERIAL PRIMARY KEY,
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
path VARCHAR NOT NULL,
revision INT4 NOT NULL,
date_submitted TIMESTAMP NOT NULL,
submitter INT4 REFERENCES login (loginid) NOT NULL
);
CREATE TABLE project_mark (
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
componentid INT4,
marker INT4 REFERENCES login (loginid) NOT NULL,
mark INT,
marked TIMESTAMP,
feedback VARCHAR,
notes VARCHAR
);
-- Worksheets
-- ----------
CREATE TABLE exercise (
identifier TEXT PRIMARY KEY CHECK (valid_url_name(identifier)),
name TEXT,
description TEXT,
description_xhtml_cache TEXT,
partial TEXT,
solution TEXT,
include TEXT,
num_rows INT4
);
CREATE TABLE worksheet (
worksheetid SERIAL PRIMARY KEY,
offeringid INT4 REFERENCES offering (offeringid) NOT NULL,
identifier TEXT NOT NULL CHECK (valid_url_name(identifier)),
name TEXT NOT NULL,
data TEXT NOT NULL,
data_xhtml_cache TEXT,
assessable BOOLEAN NOT NULL,
published BOOLEAN NOT NULL DEFAULT true,
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 (
loginid INT4 REFERENCES login (loginid) NOT NULL,
ws_ex_id INT4 REFERENCES worksheet_exercise (ws_ex_id) NOT NULL,
date TIMESTAMP NOT NULL,
attempt TEXT NOT NULL,
complete BOOLEAN 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;
|