4
DROP TABLE group_members;
2
loginid SERIAL PRIMARY KEY NOT NULL,
9
3
login VARCHAR UNIQUE NOT NULL,
10
loginid SERIAL PRIMARY KEY NOT NULL,
13
studentid VARCHAR, -- may be null
17
group VARCHAR NOT NULL,
5
state VARCHAR NOT NULL CHECK (state in ('no_agreement', 'pending',
6
'enabled', 'disabled')),
7
rolenm VARCHAR NOT NULL CHECK (rolenm in ('guest', 'student',
10
unixid INT UNIQUE NOT NULL, -- unix user id
11
nick VARCHAR NOT NULL,
16
fullname VARCHAR 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,
24
year CHAR(4) NOT NULL,
25
semester CHAR(1) NOT NULL,
29
CREATE TABLE project (
30
projectid SERIAL PRIMARY KEY NOT NULL,
33
offeringid INT4 REFERENCES offering (offeringid) NOT NULL,
37
CREATE TABLE project_group (
38
groupnm VARCHAR NOT NULL,
18
39
groupid SERIAL PRIMARY KEY NOT NULL,
19
offeringid INT4 REFERENCES offerings (offeringid),
40
offeringid INT4 REFERENCES offering (offeringid),
21
UNIQUE (offeringid, group)
42
createdby INT4 REFERENCES login (loginid) NOT NULL,
43
epoch TIMESTAMP NOT NULL,
44
UNIQUE (offeringid, groupnm)
24
CREATE TABLE group_invitations (
25
loginid INT4 REFERENCES users (loginid),
26
groupid INT4 REFERENCES groups (groupid),
47
CREATE TABLE group_invitation (
48
loginid INT4 REFERENCES login (loginid) NOT NULL,
49
groupid INT4 REFERENCES project_group (groupid) NOT NULL,
50
inviter INT4 REFERENCES login (loginid) NOT NULL,
51
invited TIMESTAMP NOT NULL,
27
53
UNIQUE (loginid,groupid)
30
CREATE TABLE group_members (
31
loginid INT4 REFERENCES users (loginid),
32
groupid INT4 REFERENCES groups (groupid),
33
projectid INT4 REFERENCES projects (projectid),
56
CREATE TABLE group_member (
57
loginid INT4 REFERENCES login (loginid),
58
groupid INT4 REFERENCES project_group (groupid),
59
projectid INT4 REFERENCES project (projectid),
34
60
UNIQUE (loginid,projectid),
35
61
PRIMARY KEY (loginid,groupid)
38
64
CREATE TABLE enrolment (
39
loginid INT4 REFERENCES users (loginid),
40
offeringid INT4 REFERENCES offerings (offeringid),
65
loginid INT4 REFERENCES login (loginid),
66
offeringid INT4 REFERENCES offering (offeringid),
68
special_result VARCHAR,
70
special_supp_result VARCHAR,
44
72
PRIMARY KEY (loginid,offeringid)
48
loginid INT4 PRIMARY KEY REFERENCES users (loginid),
52
CREATE TABLE projects (
53
projectid SERIAL PRIMARY KEY NOT NULL,
56
offeringid INT4 REFERENCES offerings (offeringid) NOT NULL,
75
CREATE TABLE assessed (
76
assessedid SERIAL PRIMARY KEY NOT NULL,
77
loginid INT4 REFERENCES login (loginid),
78
groupid INT4 REFERENCES project_group (groupid),
79
-- exactly one of loginid and groupid must be non-null
80
CHECK ((loginid IS NOT NULL AND groupid IS NULL)
81
OR (loginid IS NULL AND groupid IS NOT NULL))
60
84
CREATE TABLE project_extension (
62
projectid INT4 REFERENCES projects (projectid) NOT NULL,
85
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
86
projectid INT4 REFERENCES project (projectid) NOT NULL,
63
87
deadline TIMESTAMP NOT NULL,
64
approver INT4 REFERENCES users (loginid) NOT NULL,
88
approver INT4 REFERENCES login (loginid) NOT NULL,
68
92
CREATE TABLE project_mark (
70
projectid INT4 REFERENCES projects (projectid) NOT NULL,
93
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
94
projectid INT4 REFERENCES project (projectid) NOT NULL,
72
marker INT4 REFERENCES users (loginid) NOT NULL,
96
marker INT4 REFERENCES login (loginid) NOT NULL,
77
PRIMARY KEY (loginid/groupid, projectid, componentid)
80
103
CREATE TABLE problem (
100
123
visibility VARCHAR CHECK (visibility in ('public', 'protected', 'private'))
103
CREATE TABLE problem_test_case_tags (
126
CREATE TABLE problem_test_case_tag (
104
127
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
105
128
tag VARCHAR NOT NULL,
106
129
description VARCHAR,
107
added_by INT4 REFERENCES users (loginid) NOT NULL,
108
when TIMESTAMP NOT NULL,
130
standard BOOLEAN NOT NULL,
131
added_by INT4 REFERENCES login (loginid) NOT NULL,
132
date TIMESTAMP NOT NULL,
109
133
PRIMARY KEY (testcaseid,added_by,tag)
112
136
CREATE TABLE problem_attempt (
113
137
problemid INT4 REFERENCES problem (problemid) NOT NULL,
114
loginid INT4 REFERENCES users (loginid) NOT NULL,
115
when TIMESTAMP NOT NULL,
138
loginid INT4 REFERENCES login (loginid) NOT NULL,
139
date TIMESTAMP NOT NULL,
116
140
attempt VARCHAR NOT NULL,
117
141
complete BOOLEAN NOT NULL,
118
PRIMARY KEY (problemid,loginid,when)
142
PRIMARY KEY (problemid,loginid,date)
121
CREATE INDEX indexname ON problem_attempt (problemid, login);
145
CREATE INDEX problem_attempt_index ON problem_attempt (problemid, loginid);
123
147
CREATE TABLE problem_attempt_breakdown (
124
148
problemid INT4 REFERENCES problem (problemid) NOT NULL,
125
149
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
126
loginid INT4 REFERENCES users (loginid) NOT NULL,
127
when TIMESTAMP NOT NULL,
150
loginid INT4 REFERENCES login (loginid) NOT NULL,
151
date TIMESTAMP NOT NULL,
131
CREATE TABLE problem_prerequisites (
155
CREATE TABLE problem_prerequisite (
132
156
parent INT4 REFERENCES problem (problemid) NOT NULL,
133
157
child INT4 REFERENCES problem (problemid) NOT NULL,
134
158
PRIMARY KEY (parent,child)