4
DROP TABLE group_members;
9
login varchar(80) PRIMARY KEY, -- login id
14
groupid varchar(18) PRIMARY KEY, -- group name Y^4-S^9-G^3
15
nick varchar(80), -- group nickname
16
subject varchar(9), -- subject code
17
year varchar(4) -- when
20
CREATE TABLE group_members (
21
login varchar(80) REFERENCES users (login),
22
groupid varchar(18) REFERENCES groups (groupid)
2
loginid SERIAL PRIMARY KEY NOT NULL,
3
login VARCHAR UNIQUE NOT NULL,
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
21
CREATE TABLE offering (
22
offeringid SERIAL PRIMARY KEY NOT NULL,
23
subj_name VARCHAR NOT NULL,
24
subj_code VARCHAR NOT NULL,
25
year CHAR(4) NOT NULL,
26
semester CHAR(1) NOT NULL,
30
CREATE TABLE project (
31
projectid SERIAL PRIMARY KEY NOT NULL,
34
offeringid INT4 REFERENCES offering (offeringid) NOT NULL,
38
CREATE TABLE project_group (
39
groupnm VARCHAR NOT NULL,
40
groupid SERIAL PRIMARY KEY NOT NULL,
41
offeringid INT4 REFERENCES offering (offeringid),
43
createdby INT4 REFERENCES login (loginid) NOT NULL,
44
epoch TIMESTAMP NOT NULL,
45
UNIQUE (offeringid, groupnm)
48
CREATE TABLE group_invitation (
49
loginid INT4 REFERENCES login (loginid) NOT NULL,
50
groupid INT4 REFERENCES project_group (groupid) NOT NULL,
51
inviter INT4 REFERENCES login (loginid) NOT NULL,
52
invited TIMESTAMP NOT NULL,
54
UNIQUE (loginid,groupid)
57
CREATE TABLE group_member (
58
loginid INT4 REFERENCES login (loginid),
59
groupid INT4 REFERENCES project_group (groupid),
60
projectid INT4 REFERENCES project (projectid),
61
UNIQUE (loginid,projectid),
62
PRIMARY KEY (loginid,groupid)
25
65
CREATE TABLE enrolment (
26
login varchar(80) REFERENCES users (login),
32
login varchar(80) REFERENCES users (login),
36
INSERT INTO users (login,nick) values ('conway', 'Tom');
37
INSERT INTO roles (login,role) values ('conway', 'student');
38
INSERT INTO users (login,nick) values ('apeel', 'Andrew');
39
INSERT INTO roles (login,role) values ('apeel', 'student');
40
INSERT INTO users (login,nick) values ('mgiuca', 'Matt');
41
INSERT INTO roles (login,role) values ('mgiuca', 'tutor');
42
INSERT INTO users (login,nick) values ('sb', 'Steven');
43
INSERT INTO roles (login,role) values ('sb', 'lecturer');
44
INSERT INTO users (login,nick) values ('mpp', 'Mike');
45
INSERT INTO roles (login,role) values ('mpp', 'student');
46
INSERT INTO users (login,nick) values ('ivo', 'Ivo');
47
INSERT INTO roles (login,role) values ('ivo', 'admin');
49
INSERT INTO groups (groupid, nick, subject, year) values ('2007-INFO10001-321', 'Purple Alert', 'INFO10001', '2008');
50
INSERT INTO groups (groupid, nick, subject, year) values ('2007-INFO10001-322', 'Blind Illuminati', 'INFO10001', '2008');
52
INSERT INTO group_members (login,groupid) values ('conway', '2007-INFO10001-321');
53
INSERT INTO group_members (login,groupid) values ('apeel', '2007-INFO10001-321');
54
INSERT INTO group_members (login,groupid) values ('mgiuca', '2007-INFO10001-321');
55
INSERT INTO group_members (login,groupid) values ('sb', '2007-INFO10001-321');
56
INSERT INTO group_members (login,groupid) values ('mpp', '2007-INFO10001-322');
57
INSERT INTO group_members (login,groupid) values ('ivo', '2007-INFO10001-322');
59
INSERT INTO enrolment (login,subject,year) values ('conway' , 'INFO10001', '2008');
60
INSERT INTO enrolment (login,subject,year) values ('apeel' , 'INFO10001', '2008');
61
INSERT INTO enrolment (login,subject,year) values ('mgiuca' , 'INFO10001', '2008');
62
INSERT INTO enrolment (login,subject,year) values ('sb' , 'INFO10001', '2008');
63
INSERT INTO enrolment (login,subject,year) values ('mpp' , 'INFO10001', '2008');
64
INSERT INTO enrolment (login,subject,year) values ('ivo' , 'INFO10001', '2008');
66
loginid INT4 REFERENCES login (loginid),
67
offeringid INT4 REFERENCES offering (offeringid),
69
special_result VARCHAR,
71
special_supp_result VARCHAR,
73
PRIMARY KEY (loginid,offeringid)
76
CREATE TABLE assessed (
77
assessedid SERIAL PRIMARY KEY NOT NULL,
78
loginid INT4 REFERENCES login (loginid),
79
groupid INT4 REFERENCES project_group (groupid),
80
-- exactly one of loginid and groupid must be non-null
81
CHECK ((loginid IS NOT NULL AND groupid IS NULL)
82
OR (loginid IS NULL AND groupid IS NOT NULL))
85
CREATE TABLE project_extension (
86
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
87
projectid INT4 REFERENCES project (projectid) NOT NULL,
88
deadline TIMESTAMP NOT NULL,
89
approver INT4 REFERENCES login (loginid) NOT NULL,
93
CREATE TABLE project_mark (
94
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
95
projectid INT4 REFERENCES project (projectid) NOT NULL,
97
marker INT4 REFERENCES login (loginid) NOT NULL,
104
CREATE TABLE problem (
105
problemid SERIAL PRIMARY KEY NOT NULL,
109
CREATE TABLE problem_tag (
110
problemid INT4 REFERENCES problem (problemid),
111
tag VARCHAR NOT NULL,
113
standard BOOLEAN NOT NULL,
114
added_by INT4 REFERENCES login (loginid) NOT NULL,
115
date TIMESTAMP NOT NULL,
116
PRIMARY KEY (problemid,added_by,tag)
119
CREATE TABLE problem_test_case (
120
problemid INT4 REFERENCES problem (problemid) NOT NULL,
121
testcaseid SERIAL UNIQUE NOT NULL,
124
visibility VARCHAR CHECK (visibility in ('public', 'protected', 'private'))
127
CREATE TABLE problem_test_case_tag (
128
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
129
tag VARCHAR NOT NULL,
131
standard BOOLEAN NOT NULL,
132
added_by INT4 REFERENCES login (loginid) NOT NULL,
133
date TIMESTAMP NOT NULL,
134
PRIMARY KEY (testcaseid,added_by,tag)
137
CREATE TABLE problem_attempt (
138
problemid INT4 REFERENCES problem (problemid) NOT NULL,
139
loginid INT4 REFERENCES login (loginid) NOT NULL,
140
date TIMESTAMP NOT NULL,
141
attempt VARCHAR NOT NULL,
142
complete BOOLEAN NOT NULL,
143
PRIMARY KEY (problemid,loginid,date)
146
CREATE INDEX problem_attempt_index ON problem_attempt (problemid, loginid);
148
CREATE TABLE problem_attempt_breakdown (
149
problemid INT4 REFERENCES problem (problemid) NOT NULL,
150
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
151
loginid INT4 REFERENCES login (loginid) NOT NULL,
152
date TIMESTAMP NOT NULL,
156
CREATE TABLE problem_prerequisite (
157
parent INT4 REFERENCES problem (problemid) NOT NULL,
158
child INT4 REFERENCES problem (problemid) NOT NULL,
159
PRIMARY KEY (parent,child)