← Back to branch summary

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

« back to all changes in this revision

Viewing changes to userdb/users.sql

  • Committer: William Grant
  • Date: 2009-02-18 00:31:46 UTC
  • mto: (1092.1.63 setup-stuff)
  • mto: This revision was merged to the branch mainline in revision 1100.
  • Revision ID: grantw@unimelb.edu.au-20090218003146-jictayp2dg05ec1d
Remove phpBB3 installation code and instructions.

Show diffs side-by-side

added added

removed removed

Lines of Context:
userdb/users.sql
 
1
BEGIN;
1
2
CREATE SEQUENCE login_unixid_seq MINVALUE 1000 MAXVALUE 29999 START WITH 5000;
2
3
 
3
4
CREATE TABLE login (
5
6
    login       VARCHAR UNIQUE NOT NULL,
6
7
    passhash    VARCHAR,
7
8
    state       VARCHAR NOT NULL CHECK (state in ('no_agreement', 'pending',
8
 
                                              'enabled', 'disabled')),
 
9
                                              'enabled', 'disabled'))
 
10
                                 DEFAULT 'no_agreement',
9
11
    rolenm      VARCHAR NOT NULL CHECK (rolenm in ('anyone', 'student',
10
12
                                                   'marker', 'tutor',
11
13
                                                   'lecturer', 'admin')),
97
99
        oid INTEGER;
98
100
    BEGIN
99
101
        SELECT offeringid INTO oid FROM project_set WHERE project_set.projectsetid = NEW.projectsetid;
100
 
        PERFORM 1 FROM project_group, project_set WHERE project_group.projectsetid = project_set.projectsetid AND project_group.groupnm = NEW.groupnm;
 
102
        PERFORM 1 FROM project_group, project_set WHERE project_set.offeringid = oid AND project_group.projectsetid = project_set.projectsetid AND project_group.groupnm = NEW.groupnm;
101
103
        IF found THEN
102
104
            RAISE EXCEPTION ''a project group named % already exists in offering ID %'', NEW.groupnm, oid;
103
105
        END IF;
188
190
 
189
191
-- Worksheets
190
192
-- ----------
191
 
 
192
193
CREATE TABLE problem (
193
 
    problemid   SERIAL PRIMARY KEY NOT NULL,
194
 
    identifier  VARCHAR UNIQUE NOT NULL,
195
 
    spec        VARCHAR
 
194
    identifier  TEXT PRIMARY KEY,
 
195
    name        TEXT,
 
196
    description TEXT,
 
197
    partial     TEXT,
 
198
    solution    TEXT,
 
199
    include     TEXT,
 
200
    num_rows    INT4
196
201
);
197
202
 
198
203
CREATE TABLE worksheet (
199
 
    worksheetid SERIAL PRIMARY KEY NOT NULL,
200
 
    subject     VARCHAR NOT NULL,
 
204
    worksheetid SERIAL PRIMARY KEY,
 
205
    offeringid  INT4 REFERENCES offering (offeringid) NOT NULL,
201
206
    identifier  VARCHAR NOT NULL,
202
207
    assessable  BOOLEAN,
203
208
    mtime       TIMESTAMP,
204
 
    UNIQUE (subject, identifier)
 
209
    UNIQUE (offeringid, identifier)
205
210
);
206
211
 
207
212
CREATE TABLE worksheet_problem (
208
213
    worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
209
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
 
214
    problemid   TEXT REFERENCES problem (identifier) NOT NULL,
210
215
    optional    BOOLEAN,
211
216
    PRIMARY KEY (worksheetid, problemid)
212
217
);
213
218
 
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
219
CREATE TABLE problem_attempt (
243
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
 
220
    problemid   TEXT REFERENCES problem (identifier) NOT NULL,
244
221
    loginid     INT4 REFERENCES login (loginid) NOT NULL,
 
222
    worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
245
223
    date        TIMESTAMP NOT NULL,
246
224
    attempt     VARCHAR NOT NULL,
247
225
    complete    BOOLEAN NOT NULL,
248
226
    active      BOOLEAN NOT NULL DEFAULT true,
249
 
    PRIMARY KEY (problemid,loginid,date)
 
227
    PRIMARY KEY (problemid,loginid,worksheetid,date)
250
228
);
251
229
 
252
230
CREATE TABLE problem_save (
253
 
    problemid   INT4 REFERENCES problem (problemid) NOT NULL,
254
 
    loginid     INT4 REFERENCES login (loginid) NOT NULL,
255
 
    date        TIMESTAMP NOT NULL,
256
 
    text        VARCHAR NOT NULL,
257
 
    PRIMARY KEY (problemid,loginid)
258
 
);
259
 
 
260
 
CREATE INDEX problem_attempt_index ON problem_attempt (problemid, loginid);
261
 
 
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
 
 
 
231
    problemid   TEXT REFERENCES problem (identifier) NOT NULL,
 
232
    loginid     INT4 REFERENCES login (loginid) NOT NULL,
 
233
    worksheetid INT4 REFERENCES worksheet (worksheetid) NOT NULL,
 
234
    date        TIMESTAMP NOT NULL,
 
235
    text        TEXT NOT NULL,
 
236
    PRIMARY KEY (problemid,loginid, worksheetid)
 
237
);
 
238
 
 
239
CREATE TABLE test_suite (
 
240
    suiteid     SERIAL PRIMARY KEY,
 
241
    problemid   TEXT REFERENCES problem (identifier) NOT NULL,
 
242
    description TEXT,
 
243
    seq_no      INT4,
 
244
    function    TEXT,
 
245
    stdin       TEXT
 
246
);
 
247
 
 
248
CREATE TABLE test_case (
 
249
    testid          SERIAL PRIMARY KEY,
 
250
    suiteid         INT4 REFERENCES test_suite (suiteid) NOT NULL,
 
251
    passmsg         TEXT,
 
252
    failmsg         TEXT,
 
253
    test_default    TEXT,
 
254
    seq_no          INT4
 
255
);
 
256
 
 
257
CREATE TABLE suite_variables (
 
258
    varid       SERIAL PRIMARY KEY,
 
259
    suiteid     INT4 REFERENCES test_suite (suiteid) NOT NULL,
 
260
    var_name    TEXT,
 
261
    var_value   TEXT,
 
262
    var_type    TEXT NOT NULL,
 
263
    arg_no      INT4
 
264
);
 
265
 
 
266
CREATE TABLE test_case_parts (
 
267
    partid          SERIAL PRIMARY KEY,
 
268
    testid          INT4 REFERENCES test_case (testid) NOT NULL,
 
269
    part_type       TEXT NOT NULL,
 
270
    test_type       TEXT,
 
271
    data            TEXT,
 
272
    filename        TEXT
 
273
);
 
274
COMMIT;