← 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: 2012-06-28 01:52:02 UTC
  • Revision ID: me@williamgrant.id.au-20120628015202-f6ru7o367gt6nvgz
Hah

Show diffs side-by-side

added added

removed removed

Lines of Context:
userdb/users.sql
1
1
BEGIN;
 
2
 
 
3
-- Check that the provided name is sane for use in URLs.
 
4
CREATE OR REPLACE FUNCTION valid_url_name(name text) RETURNS boolean AS 
 
5
$$
 
6
    BEGIN
 
7
        RETURN name ~ E'^[a-z0-9][a-z0-9_\+\.\-]*$';
 
8
    END;
 
9
$$ LANGUAGE 'plpgsql';
 
10
 
 
11
-- Just like valid_url_name, except that @ is permitted (so we can use a
 
12
-- reasonable subset of email addresses as usernames).
 
13
CREATE OR REPLACE FUNCTION valid_login_name(name text) RETURNS boolean AS 
 
14
$$
 
15
    BEGIN
 
16
        RETURN name ~ E'^[a-z0-9][a-z0-9@_\+\.\-]*$';
 
17
    END;
 
18
$$ LANGUAGE 'plpgsql';
 
19
 
2
20
CREATE SEQUENCE login_unixid_seq MINVALUE 1000 MAXVALUE 29999 START WITH 5000;
3
21
 
4
22
CREATE TABLE login (
5
23
    loginid     SERIAL PRIMARY KEY NOT NULL,
6
 
    login       VARCHAR UNIQUE NOT NULL,
 
24
    login       VARCHAR UNIQUE NOT NULL CHECK (valid_login_name(login)),
7
25
    passhash    VARCHAR,
8
26
    state       VARCHAR NOT NULL CHECK (state in ('no_agreement', 'pending',
9
27
                                              'enabled', 'disabled'))
28
46
    subjectid       SERIAL PRIMARY KEY NOT NULL,
29
47
    subj_code       VARCHAR UNIQUE NOT NULL,
30
48
    subj_name       VARCHAR NOT NULL,
31
 
    subj_short_name VARCHAR UNIQUE NOT NULL
 
49
    subj_short_name VARCHAR UNIQUE NOT NULL CHECK (valid_url_name(subj_short_name))
32
50
);
33
51
 
34
52
CREATE TABLE semester (
35
53
    semesterid  SERIAL PRIMARY KEY NOT NULL,
36
 
    year        CHAR(4) NOT NULL,
37
 
    semester    CHAR(1) NOT NULL,
 
54
    year        TEXT NOT NULL CHECK (valid_url_name(year)),
 
55
    url_name    TEXT NOT NULL CHECK (valid_url_name(url_name)),
 
56
    code        TEXT NOT NULL,
 
57
    display_name TEXT NOT NULL,
38
58
    state       TEXT NOT NULL CHECK (state IN ('disabled', 'past',
39
59
                                    'current', 'future')) DEFAULT 'current',
40
 
    UNIQUE (year, semester)
 
60
    UNIQUE (year, url_name),
 
61
    UNIQUE (year, code)
41
62
);
42
63
 
43
64
CREATE TABLE offering (
46
67
    semesterid  INTEGER REFERENCES semester (semesterid) NOT NULL,
47
68
    description VARCHAR,
48
69
    url         VARCHAR,
 
70
    show_worksheet_marks BOOLEAN NOT NULL DEFAULT false,
 
71
    worksheet_cutoff TIMESTAMP,
49
72
    groups_student_permissions  VARCHAR NOT NULL DEFAULT 'none',
50
73
    CHECK (groups_student_permissions in ('none', 'invite', 'create')),
51
74
    UNIQUE (subject, semesterid)
62
85
 
63
86
CREATE TABLE project (
64
87
    projectid   SERIAL PRIMARY KEY NOT NULL,
65
 
    short_name  TEXT NOT NULL,
 
88
    short_name  TEXT NOT NULL CHECK (valid_url_name(short_name)),
66
89
    name        TEXT NOT NULL,
67
90
    synopsis    TEXT,
68
91
    url         TEXT,
97
120
    FOR EACH ROW EXECUTE PROCEDURE check_project_namespacing_insertupdate();
98
121
 
99
122
CREATE TABLE project_group (
100
 
    groupnm     VARCHAR NOT NULL,
 
123
    groupnm     VARCHAR NOT NULL CHECK (valid_url_name(groupnm)),
101
124
    groupid     SERIAL PRIMARY KEY NOT NULL,
102
125
    projectsetid  INTEGER REFERENCES project_set (projectsetid) NOT NULL,
103
126
    nick        VARCHAR,
163
186
        OR (loginid IS NULL AND groupid IS NOT NULL))
164
187
);
165
188
 
 
189
-- We must use conditional constraints here -- NULL != NULL.
 
190
CREATE UNIQUE INDEX assessed_loginid_key ON assessed(loginid, projectid) WHERE loginid IS NOT NULL;
 
191
CREATE UNIQUE INDEX assessed_groupid_key ON assessed(groupid, projectid) WHERE groupid IS NOT NULL;
 
192
 
166
193
CREATE TABLE project_extension (
167
194
    extensionid SERIAL PRIMARY KEY,
168
195
    assessedid  INT4 REFERENCES assessed (assessedid) NOT NULL,
169
 
    deadline    TIMESTAMP NOT NULL,
 
196
    days        INT NOT NULL,
170
197
    approver    INT4 REFERENCES login (loginid) NOT NULL,
171
198
    notes       VARCHAR
172
199
);
193
220
-- Worksheets
194
221
-- ----------
195
222
CREATE TABLE exercise (
196
 
    identifier  TEXT PRIMARY KEY,
 
223
    identifier  TEXT PRIMARY KEY CHECK (valid_url_name(identifier)),
197
224
    name        TEXT,
198
225
    description TEXT,
 
226
    description_xhtml_cache TEXT,
199
227
    partial     TEXT,
200
228
    solution    TEXT,
201
229
    include     TEXT,
205
233
CREATE TABLE worksheet (
206
234
    worksheetid SERIAL PRIMARY KEY,
207
235
    offeringid  INT4 REFERENCES offering (offeringid) NOT NULL,
208
 
    identifier  TEXT NOT NULL,
 
236
    identifier  TEXT NOT NULL CHECK (valid_url_name(identifier)),
209
237
    name        TEXT NOT NULL,
210
238
    data        TEXT NOT NULL,
 
239
    data_xhtml_cache TEXT,
211
240
    assessable  BOOLEAN NOT NULL,
 
241
    published   BOOLEAN NOT NULL DEFAULT true,
212
242
    seq_no      INT4 NOT NULL,
213
243
    format      TEXT NOT NUll,
214
244
    UNIQUE (offeringid, identifier)