1
-- We need a users database to do authorization, manage groups, &c
6
DROP TABLE group_members;
11
login VARCHAR UNIQUE NOT NULL,
2
12
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 ('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,
15
studentid VARCHAR, -- may be null
19
group VARCHAR NOT NULL,
39
20
groupid SERIAL PRIMARY KEY NOT NULL,
40
offeringid INT4 REFERENCES offering (offeringid),
21
offeringid INT4 REFERENCES offerings (offeringid),
42
createdby INT4 REFERENCES login (loginid) NOT NULL,
43
epoch TIMESTAMP NOT NULL,
44
UNIQUE (offeringid, groupnm)
23
UNIQUE (offeringid, group)
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,
26
CREATE TABLE group_invitations (
27
loginid INT4 REFERENCES users (loginid),
28
groupid INT4 REFERENCES groups (groupid),
53
29
UNIQUE (loginid,groupid)
56
CREATE TABLE group_member (
57
loginid INT4 REFERENCES login (loginid),
58
groupid INT4 REFERENCES project_group (groupid),
59
projectid INT4 REFERENCES project (projectid),
32
CREATE TABLE group_members (
33
loginid INT4 REFERENCES users (loginid),
34
groupid INT4 REFERENCES groups (groupid),
35
projectid INT4 REFERENCES projects (projectid),
60
36
UNIQUE (loginid,projectid),
61
37
PRIMARY KEY (loginid,groupid)
64
40
CREATE TABLE enrolment (
65
loginid INT4 REFERENCES login (loginid),
66
offeringid INT4 REFERENCES offering (offeringid),
41
loginid INT4 REFERENCES users (loginid),
42
offeringid INT4 REFERENCES offerings (offeringid),
68
special_result VARCHAR,
70
special_supp_result VARCHAR,
72
46
PRIMARY KEY (loginid,offeringid)
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))
50
loginid INT4 PRIMARY KEY REFERENCES users (loginid),
54
CREATE TABLE projects (
55
projectid SERIAL PRIMARY KEY NOT NULL,
58
offeringid INT4 REFERENCES offerings (offeringid) NOT NULL,
84
62
CREATE TABLE project_extension (
85
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
86
projectid INT4 REFERENCES project (projectid) NOT NULL,
64
projectid INT4 REFERENCES projects (projectid) NOT NULL,
87
65
deadline TIMESTAMP NOT NULL,
88
approver INT4 REFERENCES login (loginid) NOT NULL,
66
approver INT4 REFERENCES users (loginid) NOT NULL,
92
70
CREATE TABLE project_mark (
93
assessedid INT4 REFERENCES assessed (assessedid) NOT NULL,
94
projectid INT4 REFERENCES project (projectid) NOT NULL,
72
projectid INT4 REFERENCES projects (projectid) NOT NULL,
96
marker INT4 REFERENCES login (loginid) NOT NULL,
74
marker INT4 REFERENCES users (loginid) NOT NULL,
79
PRIMARY KEY (loginid/groupid, projectid, componentid)
103
82
CREATE TABLE problem (
123
100
visibility VARCHAR CHECK (visibility in ('public', 'protected', 'private'))
126
CREATE TABLE problem_test_case_tag (
103
CREATE TABLE problem_test_case_tags (
127
104
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
128
105
tag VARCHAR NOT NULL,
129
106
description VARCHAR,
130
standard BOOLEAN NOT NULL,
131
added_by INT4 REFERENCES login (loginid) NOT NULL,
132
date TIMESTAMP NOT NULL,
107
added_by INT4 REFERENCES users (loginid) NOT NULL,
108
when TIMESTAMP NOT NULL,
133
109
PRIMARY KEY (testcaseid,added_by,tag)
136
112
CREATE TABLE problem_attempt (
137
113
problemid INT4 REFERENCES problem (problemid) NOT NULL,
138
loginid INT4 REFERENCES login (loginid) NOT NULL,
139
date TIMESTAMP NOT NULL,
114
loginid INT4 REFERENCES users (loginid) NOT NULL,
115
when TIMESTAMP NOT NULL,
140
116
attempt VARCHAR NOT NULL,
141
117
complete BOOLEAN NOT NULL,
142
PRIMARY KEY (problemid,loginid,date)
118
PRIMARY KEY (problemid,loginid,when)
145
CREATE INDEX problem_attempt_index ON problem_attempt (problemid, loginid);
121
CREATE INDEX indexname ON problem_attempt (problemid, login);
147
123
CREATE TABLE problem_attempt_breakdown (
148
124
problemid INT4 REFERENCES problem (problemid) NOT NULL,
149
125
testcaseid INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
150
loginid INT4 REFERENCES login (loginid) NOT NULL,
151
date TIMESTAMP NOT NULL,
126
loginid INT4 REFERENCES users (loginid) NOT NULL,
127
when TIMESTAMP NOT NULL,
155
CREATE TABLE problem_prerequisite (
131
CREATE TABLE problem_prerequisites (
156
132
parent INT4 REFERENCES problem (problemid) NOT NULL,
157
133
child INT4 REFERENCES problem (problemid) NOT NULL,
158
134
PRIMARY KEY (parent,child)