← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to userdb/users.sql

Fix circular import in ivle.zip.

Show diffs side-by-side

added added

removed removed

Lines of Context:
userdb/users.sql
5
5
    login       VARCHAR UNIQUE NOT NULL,
6
6
    passhash    VARCHAR,
7
7
    state       VARCHAR NOT NULL CHECK (state in ('no_agreement', 'pending',
8
 
                                              'enabled', 'disabled')),
 
8
                                              'enabled', 'disabled'))
 
9
                                 DEFAULT 'no_agreement',
9
10
    rolenm      VARCHAR NOT NULL CHECK (rolenm in ('anyone', 'student',
10
11
                                                   'marker', 'tutor',
11
12
                                                   'lecturer', 'admin')),
188
189
 
189
190
-- Worksheets
190
191
-- ----------
191
 
 
 
192
--TODO: Add in a field for the user-friendly identifier
192
193
CREATE TABLE problem (
193
 
    problemid   SERIAL PRIMARY KEY NOT NULL,
194
 
    identifier  VARCHAR UNIQUE NOT NULL,
195
 
    spec        VARCHAR
 
194
    identifier  VARCHAR PRIMARY KEY NOT NULL,
 
195
    name        TEXT,
 
196
    description TEXT,
 
197
    partial     TEXT,
 
198
    solution    TEXT,
 
199
    include     TEXT,
 
200
    num_rows    INT4
196
201
);
197
202
 
 
203
--TODO: Link worksheets to offerings
198
204
CREATE TABLE worksheet (
199
205
    worksheetid SERIAL PRIMARY KEY NOT NULL,
200
206
    subject     VARCHAR NOT NULL,
 
207
    offeringid    INT4 REFERENCES offering (offeringid) NOT NULL,
201
208
    identifier  VARCHAR NOT NULL,
202
209
    assessable  BOOLEAN,
203
210
    mtime       TIMESTAMP,
206
213
 
207
214
CREATE TABLE worksheet_problem (
208
215
    worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
209
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
 
216
    problemid   TEXT REFERENCES problem (identifier) NOT NULL,
210
217
    optional    BOOLEAN,
211
218
    PRIMARY KEY (worksheetid, problemid)
212
219
);
213
220
 
214
 
CREATE TABLE problem_tag (
215
 
    problemid   INT4 REFERENCES problem (problemid),
216
 
    tag         VARCHAR NOT NULL,
217
 
    description VARCHAR,
218
 
    standard    BOOLEAN NOT NULL,
219
 
    added_by    INT4 REFERENCES login (loginid) NOT NULL,
220
 
    date        TIMESTAMP NOT NULL,
221
 
    PRIMARY KEY (problemid,added_by,tag)
222
 
);
223
 
 
224
 
CREATE TABLE problem_test_case (
225
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
226
 
    testcaseid  SERIAL UNIQUE NOT NULL,
227
 
    testcase    VARCHAR,
228
 
    description VARCHAR,
229
 
    visibility  VARCHAR CHECK (visibility in ('public', 'protected', 'private'))
230
 
);
231
 
 
232
 
CREATE TABLE problem_test_case_tag (
233
 
    testcaseid  INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
234
 
    tag         VARCHAR NOT NULL,
235
 
    description VARCHAR,
236
 
    standard    BOOLEAN NOT NULL,
237
 
    added_by    INT4 REFERENCES login (loginid) NOT NULL,
238
 
    date        TIMESTAMP NOT NULL,
239
 
    PRIMARY KEY (testcaseid,added_by,tag)
240
 
);
241
 
 
242
221
CREATE TABLE problem_attempt (
243
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
 
222
    problemid   VARCHAR REFERENCES problem (identifier) NOT NULL,
244
223
    loginid     INT4 REFERENCES login (loginid) NOT NULL,
 
224
    worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
245
225
    date        TIMESTAMP NOT NULL,
246
226
    attempt     VARCHAR NOT NULL,
247
227
    complete    BOOLEAN NOT NULL,
252
232
CREATE TABLE problem_save (
253
233
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
254
234
    loginid     INT4 REFERENCES login (loginid) NOT NULL,
 
235
    worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
255
236
    date        TIMESTAMP NOT NULL,
256
237
    text        VARCHAR NOT NULL,
257
238
    PRIMARY KEY (problemid,loginid)
259
240
 
260
241
CREATE INDEX problem_attempt_index ON problem_attempt (problemid, loginid);
261
242
 
262
 
CREATE TABLE problem_attempt_breakdown (
263
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
264
 
    testcaseid  INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
265
 
    loginid     INT4 REFERENCES login (loginid) NOT NULL,
266
 
    date        TIMESTAMP NOT NULL,
267
 
    result      BOOLEAN
268
 
);
269
 
 
270
 
CREATE TABLE problem_prerequisite (
271
 
    parent      INT4 REFERENCES problem (problemid) NOT NULL,
272
 
    child       INT4 REFERENCES problem (problemid) NOT NULL,
273
 
    PRIMARY KEY (parent,child)
274
 
);
275
 
 
 
243
-- TABLES FOR EXERCISES IN DATABASE -- 
 
244
CREATE TABLE test_suite (
 
245
    suiteid     SERIAL NOT NULL,
 
246
    problemid   TEXT REFERENCES problem (identifier) NOT NULL,
 
247
    description TEXT,
 
248
    seq_no      INT4,
 
249
    PRIMARY KEY (problemid, suiteid)
 
250
);
 
251
 
 
252
CREATE TABLE test_case (
 
253
    testid      SERIAL NOT NULL,
 
254
    suiteid     INT4 REFERENCES test_suite (suiteid) NOT NULL,
 
255
    passmsg     TEXT,
 
256
    failmsg     TEXT,
 
257
    init        TEXT,
 
258
    code_type   TEXT,
 
259
    code        TEXT,
 
260
    testtype    TEXT,
 
261
    seq_no      INT4,
 
262
    PRIMARY KEY (testid, suiteid)
 
263
);