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

« back to all changes in this revision

Viewing changes to userdb/users.sql

Merge my migration of serve and download to the new framework.

Poor fileservice is all alone.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
BEGIN;
1
2
CREATE SEQUENCE login_unixid_seq MINVALUE 1000 MAXVALUE 29999 START WITH 5000;
2
3
 
3
4
CREATE TABLE login (
189
190
 
190
191
-- Worksheets
191
192
-- ----------
192
 
 
 
193
--TODO: Add in a field for the user-friendly identifier
193
194
CREATE TABLE problem (
194
 
    problemid   SERIAL PRIMARY KEY NOT NULL,
195
 
    identifier  VARCHAR UNIQUE NOT NULL,
196
 
    spec        VARCHAR
 
195
    identifier  VARCHAR PRIMARY KEY NOT NULL,
 
196
    name        TEXT,
 
197
    description TEXT,
 
198
    partial     TEXT,
 
199
    solution    TEXT,
 
200
    include     TEXT,
 
201
    num_rows    INT4
197
202
);
198
203
 
 
204
--TODO: Link worksheets to offerings
199
205
CREATE TABLE worksheet (
200
206
    worksheetid SERIAL PRIMARY KEY NOT NULL,
201
207
    subject     VARCHAR NOT NULL,
 
208
    offeringid    INT4 REFERENCES offering (offeringid) NOT NULL,
202
209
    identifier  VARCHAR NOT NULL,
203
210
    assessable  BOOLEAN,
204
211
    mtime       TIMESTAMP,
207
214
 
208
215
CREATE TABLE worksheet_problem (
209
216
    worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
210
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
 
217
    problemid   TEXT REFERENCES problem (identifier) NOT NULL,
211
218
    optional    BOOLEAN,
212
219
    PRIMARY KEY (worksheetid, problemid)
213
220
);
214
221
 
215
 
CREATE TABLE problem_tag (
216
 
    problemid   INT4 REFERENCES problem (problemid),
217
 
    tag         VARCHAR NOT NULL,
218
 
    description VARCHAR,
219
 
    standard    BOOLEAN NOT NULL,
220
 
    added_by    INT4 REFERENCES login (loginid) NOT NULL,
221
 
    date        TIMESTAMP NOT NULL,
222
 
    PRIMARY KEY (problemid,added_by,tag)
223
 
);
224
 
 
225
 
CREATE TABLE problem_test_case (
226
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
227
 
    testcaseid  SERIAL UNIQUE NOT NULL,
228
 
    testcase    VARCHAR,
229
 
    description VARCHAR,
230
 
    visibility  VARCHAR CHECK (visibility in ('public', 'protected', 'private'))
231
 
);
232
 
 
233
 
CREATE TABLE problem_test_case_tag (
234
 
    testcaseid  INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
235
 
    tag         VARCHAR NOT NULL,
236
 
    description VARCHAR,
237
 
    standard    BOOLEAN NOT NULL,
238
 
    added_by    INT4 REFERENCES login (loginid) NOT NULL,
239
 
    date        TIMESTAMP NOT NULL,
240
 
    PRIMARY KEY (testcaseid,added_by,tag)
241
 
);
242
 
 
243
222
CREATE TABLE problem_attempt (
244
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
 
223
    problemid   VARCHAR REFERENCES problem (identifier) NOT NULL,
245
224
    loginid     INT4 REFERENCES login (loginid) NOT NULL,
 
225
    worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
246
226
    date        TIMESTAMP NOT NULL,
247
227
    attempt     VARCHAR NOT NULL,
248
228
    complete    BOOLEAN NOT NULL,
249
229
    active      BOOLEAN NOT NULL DEFAULT true,
250
 
    PRIMARY KEY (problemid,loginid,date)
 
230
    PRIMARY KEY (problemid,loginid,worksheetid,date)
251
231
);
252
232
 
253
233
CREATE TABLE problem_save (
254
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
 
234
    problemid   TEXT REFERENCES problem (identifier) NOT NULL,
255
235
    loginid     INT4 REFERENCES login (loginid) NOT NULL,
 
236
    worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
256
237
    date        TIMESTAMP NOT NULL,
257
238
    text        VARCHAR NOT NULL,
258
 
    PRIMARY KEY (problemid,loginid)
259
 
);
260
 
 
261
 
CREATE INDEX problem_attempt_index ON problem_attempt (problemid, loginid);
262
 
 
263
 
CREATE TABLE problem_attempt_breakdown (
264
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
265
 
    testcaseid  INT4 REFERENCES problem_test_case (testcaseid) NOT NULL,
266
 
    loginid     INT4 REFERENCES login (loginid) NOT NULL,
267
 
    date        TIMESTAMP NOT NULL,
268
 
    result      BOOLEAN
269
 
);
270
 
 
271
 
CREATE TABLE problem_prerequisite (
272
 
    parent      INT4 REFERENCES problem (problemid) NOT NULL,
273
 
    child       INT4 REFERENCES problem (problemid) NOT NULL,
274
 
    PRIMARY KEY (parent,child)
275
 
);
276
 
 
 
239
    PRIMARY KEY (problemid,loginid, worksheetid)
 
240
);
 
241
 
 
242
-- TABLES FOR EXERCISES IN DATABASE -- 
 
243
CREATE TABLE test_suite (
 
244
    suiteid     SERIAL UNIQUE NOT NULL,
 
245
    problemid   TEXT REFERENCES problem (identifier) NOT NULL,
 
246
    description TEXT,
 
247
    seq_no      INT4,
 
248
    function    TEXT,
 
249
    stdin       TEXT,
 
250
    PRIMARY KEY (problemid, suiteid)
 
251
);
 
252
 
 
253
CREATE TABLE test_case (
 
254
    testid          SERIAL UNIQUE NOT NULL,
 
255
    suiteid         INT4 REFERENCES test_suite (suiteid) NOT NULL,
 
256
    passmsg         TEXT,
 
257
    failmsg         TEXT,
 
258
    test_default    TEXT,
 
259
    seq_no          INT4,
 
260
    PRIMARY KEY (testid, suiteid)
 
261
);
 
262
 
 
263
CREATE TABLE suite_variables (
 
264
    varid       SERIAL PRIMARY KEY NOT NULL,
 
265
    suiteid     INT4 REFERENCES test_suite (suiteid) NOT NULL,
 
266
    var_name    TEXT,
 
267
    var_value   TEXT,
 
268
    var_type    TEXT NOT NULL,
 
269
    arg_no      INT4
 
270
);
 
271
 
 
272
CREATE TABLE test_case_parts (
 
273
    partid       SERIAL PRIMARY KEY NOT NULL,
 
274
    testid          INT4 REFERENCES test_case (testid) NOT NULL,
 
275
    part_type       TEXT,
 
276
    test_type       TEXT,
 
277
    data            TEXT,
 
278
    filename        TEXT
 
279
);
 
280
COMMIT;