2
login VARCHAR UNIQUE NOT NULL,
3
loginid SERIAL PRIMARY KEY NOT NULL,
4
unixid INT UNIQUE NOT NULL, -- unix user id
9
studentid VARCHAR -- may be null
12
CREATE TABLE offering (
13
offeringid SERIAL PRIMARY KEY NOT NULL,
14
subj_name VARCHAR NOT NULL,
15
subj_code VARCHAR NOT NULL,
16
year CHAR(4) NOT NULL,
17
semester CHAR(1) NOT NULL,
21
CREATE TABLE project (
22
projectid SERIAL PRIMARY KEY NOT NULL,
25
offeringid INT4 REFERENCES offering (offeringid) NOT NULL,
29
CREATE TABLE project_group (
30
groupnm VARCHAR NOT NULL,
31
groupid SERIAL PRIMARY KEY NOT NULL,
32
offeringid INT4 REFERENCES offering (offeringid),
34
createdby INT4 REFERENCES login (loginid) NOT NULL,
35
epoch TIMESTAMP NOT NULL,
36
UNIQUE (offeringid, groupnm)
39
CREATE TABLE group_invitation (
40
loginid INT4 REFERENCES login (loginid) NOT NULL,
41
groupid INT4 REFERENCES project_group (groupid) NOT NULL,
42
inviter INT4 REFERENCES login (loginid) NOT NULL,
43
invited TIMESTAMP NOT NULL,
45
UNIQUE (loginid,groupid)
48
CREATE TABLE group_member (
49
loginid INT4 REFERENCES login (loginid),
50
groupid INT4 REFERENCES project_group (groupid),
51
projectid INT4 REFERENCES project (projectid),
52
UNIQUE (loginid,projectid),
53
PRIMARY KEY (loginid,groupid)
56
CREATE TABLE enrolment (
57
loginid INT4 REFERENCES login (loginid),
58
offeringid INT4 REFERENCES offering (offeringid),
60
special_result VARCHAR,
62
special_supp_result VARCHAR,
64
PRIMARY KEY (loginid,offeringid)
67
CREATE TABLE assessed (
68
assessedid SERIAL PRIMARY KEY NOT NULL,
69
loginid INT4 REFERENCES login (loginid),
70
groupid INT4 REFERENCES project_group (groupid),
71
-- exactly one of loginid and groupid must be non-null
72
CHECK ((loginid IS NOT NULL AND groupid IS NULL)
73
OR (loginid IS NULL AND groupid IS NOT NULL))
76
CREATE TABLE project_extension (
77
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
78
projectid INT4 REFERENCES project (projectid) NOT NULL,
79
deadline TIMESTAMP NOT NULL,
80
approver INT4 REFERENCES login (loginid) NOT NULL,
84
CREATE TABLE project_mark (
85
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
86
projectid INT4 REFERENCES project (projectid) NOT NULL,
88
marker INT4 REFERENCES login (loginid) NOT NULL,
95
CREATE TABLE problem (
96
problemid SERIAL PRIMARY KEY NOT NULL,
100
CREATE TABLE problem_tag (
101
problemid INT4 REFERENCES problem (problemid),
102
tag VARCHAR NOT NULL,
104
standard BOOLEAN NOT NULL,
105
added_by INT4 REFERENCES login (loginid) NOT NULL,
106
date TIMESTAMP NOT NULL,
107
PRIMARY KEY (problemid,added_by,tag)
110
CREATE TABLE problem_test_case (
111
problemid INT4 REFERENCES problem (problemid) NOT NULL,
112
testcaseid SERIAL UNIQUE NOT NULL,
115
visibility VARCHAR CHECK (visibility in ('public', 'protected', 'private'))
118
CREATE TABLE problem_test_case_tag (
119
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
120
tag VARCHAR NOT NULL,
122
standard BOOLEAN NOT NULL,
123
added_by INT4 REFERENCES login (loginid) NOT NULL,
124
date TIMESTAMP NOT NULL,
125
PRIMARY KEY (testcaseid,added_by,tag)
128
CREATE TABLE problem_attempt (
129
problemid INT4 REFERENCES problem (problemid) NOT NULL,
130
loginid INT4 REFERENCES login (loginid) NOT NULL,
131
date TIMESTAMP NOT NULL,
132
attempt VARCHAR NOT NULL,
133
complete BOOLEAN NOT NULL,
134
PRIMARY KEY (problemid,loginid,date)
137
CREATE INDEX problem_attempt_index ON problem_attempt (problemid, loginid);
139
CREATE TABLE problem_attempt_breakdown (
140
problemid INT4 REFERENCES problem (problemid) NOT NULL,
141
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
142
loginid INT4 REFERENCES login (loginid) NOT NULL,
143
date TIMESTAMP NOT NULL,
147
CREATE TABLE problem_prerequisite (
148
parent INT4 REFERENCES problem (problemid) NOT NULL,
149
child INT4 REFERENCES problem (problemid) NOT NULL,
150
PRIMARY KEY (parent,child)