1
DROP TABLE users CASCADE;
2
loginid SERIAL PRIMARY KEY NOT NULL,
3
3
login VARCHAR UNIQUE NOT NULL,
4
loginid SERIAL PRIMARY KEY NOT NULL,
7
studentid VARCHAR -- may be null
10
DROP TABLE offerings CASCADE;
11
CREATE TABLE offerings (
5
state VARCHAR NOT NULL CHECK (state in ('no_agreement', 'pending',
6
'enabled', 'disabled')),
7
rolenm VARCHAR NOT NULL CHECK (rolenm in ('anyone', 'student',
10
unixid INT UNIQUE NOT NULL, -- unix user id
11
nick VARCHAR NOT NULL,
17
fullname VARCHAR NOT NULL,
18
studentid VARCHAR, -- may be null
22
CREATE TABLE subject (
23
subjectid SERIAL PRIMARY KEY NOT NULL,
24
subj_code VARCHAR UNIQUE NOT NULL,
25
subj_name VARCHAR NOT NULL,
26
subj_short_name VARCHAR, -- may be null
30
CREATE TABLE offering (
12
31
offeringid SERIAL PRIMARY KEY NOT NULL,
13
subj_name VARCHAR NOT NULL,
14
subj_code VARCHAR NOT NULL,
32
subject INT4 REFERENCES subject (subjectid) NOT NULL,
15
33
year CHAR(4) NOT NULL,
19
DROP TABLE groups CASCADE;
21
groupnm VARCHAR NOT NULL,
34
semester CHAR(1) NOT NULL,
35
UNIQUE (subject, year, semester)
38
CREATE TABLE project (
39
projectid SERIAL PRIMARY KEY NOT NULL,
42
offeringid INT4 REFERENCES offering (offeringid) NOT NULL,
46
CREATE TABLE project_group (
47
groupnm VARCHAR NOT NULL,
22
48
groupid SERIAL PRIMARY KEY NOT NULL,
23
offeringid INT4 REFERENCES offerings (offeringid),
49
offeringid INT4 REFERENCES offering (offeringid),
51
createdby INT4 REFERENCES login (loginid) NOT NULL,
52
epoch TIMESTAMP NOT NULL,
25
53
UNIQUE (offeringid, groupnm)
28
DROP TABLE group_invitations CASCADE;
29
CREATE TABLE group_invitations (
30
loginid INT4 REFERENCES users (loginid),
31
groupid INT4 REFERENCES groups (groupid),
56
CREATE TABLE group_invitation (
57
loginid INT4 REFERENCES login (loginid) NOT NULL,
58
groupid INT4 REFERENCES project_group (groupid) NOT NULL,
59
inviter INT4 REFERENCES login (loginid) NOT NULL,
60
invited TIMESTAMP NOT NULL,
32
62
UNIQUE (loginid,groupid)
35
DROP TABLE group_members CASCADE;
36
CREATE TABLE group_members (
37
loginid INT4 REFERENCES users (loginid),
38
groupid INT4 REFERENCES groups (groupid),
39
projectid INT4 REFERENCES projects (projectid),
65
CREATE TABLE group_member (
66
loginid INT4 REFERENCES login (loginid),
67
groupid INT4 REFERENCES project_group (groupid),
68
projectid INT4 REFERENCES project (projectid),
40
69
UNIQUE (loginid,projectid),
41
70
PRIMARY KEY (loginid,groupid)
44
DROP TABLE enrolment CASCADE;
45
73
CREATE TABLE enrolment (
46
loginid INT4 REFERENCES users (loginid),
47
offeringid INT4 REFERENCES offerings (offeringid),
74
loginid INT4 REFERENCES login (loginid),
75
offeringid INT4 REFERENCES offering (offeringid),
77
special_result VARCHAR,
79
special_supp_result VARCHAR,
51
81
PRIMARY KEY (loginid,offeringid)
54
DROP TABLE roles CASCADE;
56
loginid INT4 PRIMARY KEY REFERENCES users (loginid),
60
DROP TABLE projects CASCADE;
61
CREATE TABLE projects (
62
projectid SERIAL PRIMARY KEY NOT NULL,
65
offeringid INT4 REFERENCES offerings (offeringid) NOT NULL,
69
DROP TABLE project_extension CASCADE;
84
CREATE TABLE assessed (
85
assessedid SERIAL PRIMARY KEY NOT NULL,
86
loginid INT4 REFERENCES login (loginid),
87
groupid INT4 REFERENCES project_group (groupid),
88
projectid INT4 REFERENCES project (projectid) NOT NULL,
89
-- exactly one of loginid and groupid must be non-null
90
CHECK ((loginid IS NOT NULL AND groupid IS NULL)
91
OR (loginid IS NULL AND groupid IS NOT NULL))
70
94
CREATE TABLE project_extension (
71
loginid INT4 REFERENCES users (loginid),
72
groupid INT4 REFERENCES groups (groupid),
73
projectid INT4 REFERENCES projects (projectid) NOT NULL,
95
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
74
96
deadline TIMESTAMP NOT NULL,
75
approver INT4 REFERENCES users (loginid) NOT NULL,
77
-- exactly one of loginid and groupid must be non-null
78
CHECK ((loginid IS NOT NULL AND groupid IS NULL)
79
OR (loginid IS NULL AND groupid IS NOT NULL))
82
DROP TABLE project_mark CASCADE;
97
approver INT4 REFERENCES login (loginid) NOT NULL,
101
CREATE TABLE project_submission (
102
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
103
path VARCHAR NOT NULL,
104
revision INT4 NOT NULL
83
107
CREATE TABLE project_mark (
84
loginid INT4 REFERENCES users (loginid),
85
groupid INT4 REFERENCES groups (groupid),
86
projectid INT4 REFERENCES projects (projectid) NOT NULL,
108
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
88
marker INT4 REFERENCES users (loginid) NOT NULL,
110
marker INT4 REFERENCES login (loginid) NOT NULL,
93
-- exactly one of loginid and groupid must be non-null
94
CHECK ((loginid IS NOT NULL AND groupid IS NULL)
95
OR (loginid IS NULL AND groupid IS NOT NULL))
98
DROP TABLE problem CASCADE;
99
117
CREATE TABLE problem (
100
118
problemid SERIAL PRIMARY KEY NOT NULL,
119
identifier VARCHAR UNIQUE NOT NULL,
104
DROP TABLE problem_tags CASCADE;
105
CREATE TABLE problem_tags (
106
problemid INT4 REFERENCES tutorial_problem (problemid),
123
CREATE TABLE worksheet (
124
worksheetid SERIAL PRIMARY KEY NOT NULL,
125
subject VARCHAR NOT NULL,
126
identifier VARCHAR NOT NULL,
129
UNIQUE (subject, identifier)
132
CREATE TABLE worksheet_problem (
133
worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
134
problemid INT4 REFERENCES problem (problemid) NOT NULL,
136
PRIMARY KEY (worksheetid, problemid)
139
CREATE TABLE problem_tag (
140
problemid INT4 REFERENCES problem (problemid),
107
141
tag VARCHAR NOT NULL,
108
added_by INT4 REFERENCES users (loginid) NOT NULL,
143
standard BOOLEAN NOT NULL,
144
added_by INT4 REFERENCES login (loginid) NOT NULL,
109
145
date TIMESTAMP NOT NULL,
110
146
PRIMARY KEY (problemid,added_by,tag)
113
DROP TABLE problem_test_case CASCADE;
114
149
CREATE TABLE problem_test_case (
115
150
problemid INT4 REFERENCES problem (problemid) NOT NULL,
116
151
testcaseid SERIAL UNIQUE NOT NULL,
119
154
visibility VARCHAR CHECK (visibility in ('public', 'protected', 'private'))
122
DROP TABLE problem_test_case_tags CASCADE;
123
CREATE TABLE problem_test_case_tags (
157
CREATE TABLE problem_test_case_tag (
124
158
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
125
159
tag VARCHAR NOT NULL,
126
160
description VARCHAR,
127
added_by INT4 REFERENCES users (loginid) NOT NULL,
161
standard BOOLEAN NOT NULL,
162
added_by INT4 REFERENCES login (loginid) NOT NULL,
128
163
date TIMESTAMP NOT NULL,
129
164
PRIMARY KEY (testcaseid,added_by,tag)
132
DROP TABLE problem_attempt CASCADE;
133
167
CREATE TABLE problem_attempt (
134
168
problemid INT4 REFERENCES problem (problemid) NOT NULL,
135
loginid INT4 REFERENCES users (loginid) NOT NULL,
169
loginid INT4 REFERENCES login (loginid) NOT NULL,
136
170
date TIMESTAMP NOT NULL,
137
171
attempt VARCHAR NOT NULL,
138
172
complete BOOLEAN NOT NULL,
139
173
PRIMARY KEY (problemid,loginid,date)
142
DROP INDEX problem_attempt_index;
176
CREATE TABLE problem_save (
177
problemid INT4 REFERENCES problem (problemid) NOT NULL,
178
loginid INT4 REFERENCES login (loginid) NOT NULL,
179
date TIMESTAMP NOT NULL,
180
text VARCHAR NOT NULL,
181
PRIMARY KEY (problemid,loginid)
143
184
CREATE INDEX problem_attempt_index ON problem_attempt (problemid, loginid);
145
DROP TABLE problem_attempt_breakdown CASCADE;
146
186
CREATE TABLE problem_attempt_breakdown (
147
187
problemid INT4 REFERENCES problem (problemid) NOT NULL,
148
188
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
149
loginid INT4 REFERENCES users (loginid) NOT NULL,
189
loginid INT4 REFERENCES login (loginid) NOT NULL,
150
190
date TIMESTAMP NOT NULL,
154
DROP TABLE problem_prerequisites CASCADE;
155
CREATE TABLE problem_prerequisites (
194
CREATE TABLE problem_prerequisite (
156
195
parent INT4 REFERENCES problem (problemid) NOT NULL,
157
196
child INT4 REFERENCES problem (problemid) NOT NULL,
158
197
PRIMARY KEY (parent,child)