← Back to branch summary

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

« back to all changes in this revision

Viewing changes to userdb/users.sql

  • Committer: Matt Giuca
  • Date: 2010-07-22 03:57:16 UTC
  • mto: This revision was merged to the branch mainline in revision 1820.
  • Revision ID: matt.giuca@gmail.com-20100722035716-7p5t3c349lqwasqk
Database: Modified project_extension table; replaced 'deadline TIMESTAMP' with 'days INT'. This means the extension is a time delta on top of the existing deadline, not a replacement deadline.
Added a migration (userdb/migrations/20100722-01.sql) and updated ivle.database.

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,
32
 
    url             VARCHAR
 
49
    subj_short_name VARCHAR UNIQUE NOT NULL CHECK (valid_url_name(subj_short_name))
33
50
);
34
51
 
35
52
CREATE TABLE semester (
36
53
    semesterid  SERIAL PRIMARY KEY NOT NULL,
37
 
    year        CHAR(4) NOT NULL,
38
 
    semester    CHAR(1) NOT NULL,
 
54
    year        CHAR(4) NOT NULL CHECK (valid_url_name(year)),
 
55
    semester    CHAR(1) NOT NULL CHECK (valid_url_name(semester)),
39
56
    state       TEXT NOT NULL CHECK (state IN ('disabled', 'past',
40
57
                                    'current', 'future')) DEFAULT 'current',
41
58
    UNIQUE (year, semester)
45
62
    offeringid  SERIAL PRIMARY KEY NOT NULL,
46
63
    subject     INT4 REFERENCES subject (subjectid) NOT NULL,
47
64
    semesterid  INTEGER REFERENCES semester (semesterid) NOT NULL,
 
65
    description VARCHAR,
 
66
    url         VARCHAR,
 
67
    show_worksheet_marks BOOLEAN NOT NULL DEFAULT false,
 
68
    worksheet_cutoff TIMESTAMP,
48
69
    groups_student_permissions  VARCHAR NOT NULL DEFAULT 'none',
49
70
    CHECK (groups_student_permissions in ('none', 'invite', 'create')),
50
71
    UNIQUE (subject, semesterid)
61
82
 
62
83
CREATE TABLE project (
63
84
    projectid   SERIAL PRIMARY KEY NOT NULL,
64
 
    short_name  TEXT NOT NULL,
 
85
    short_name  TEXT NOT NULL CHECK (valid_url_name(short_name)),
65
86
    name        TEXT NOT NULL,
66
87
    synopsis    TEXT,
67
88
    url         TEXT,
68
89
    projectsetid  INTEGER REFERENCES project_set (projectsetid) NOT NULL,
69
 
    deadline    TIMESTAMP
 
90
    deadline    TIMESTAMP NOT NULL
70
91
);
71
92
 
72
93
CREATE OR REPLACE FUNCTION check_project_namespacing_insertupdate()
96
117
    FOR EACH ROW EXECUTE PROCEDURE check_project_namespacing_insertupdate();
97
118
 
98
119
CREATE TABLE project_group (
99
 
    groupnm     VARCHAR NOT NULL,
 
120
    groupnm     VARCHAR NOT NULL CHECK (valid_url_name(groupnm)),
100
121
    groupid     SERIAL PRIMARY KEY NOT NULL,
101
122
    projectsetid  INTEGER REFERENCES project_set (projectsetid) NOT NULL,
102
123
    nick        VARCHAR,
162
183
        OR (loginid IS NULL AND groupid IS NOT NULL))
163
184
);
164
185
 
 
186
-- We must use conditional constraints here -- NULL != NULL.
 
187
CREATE UNIQUE INDEX assessed_loginid_key ON assessed(loginid, projectid) WHERE loginid IS NOT NULL;
 
188
CREATE UNIQUE INDEX assessed_groupid_key ON assessed(groupid, projectid) WHERE groupid IS NOT NULL;
 
189
 
165
190
CREATE TABLE project_extension (
166
191
    extensionid SERIAL PRIMARY KEY,
167
192
    assessedid  INT4 REFERENCES assessed (assessedid) NOT NULL,
168
 
    deadline    TIMESTAMP NOT NULL,
 
193
    days        INT NOT NULL,
169
194
    approver    INT4 REFERENCES login (loginid) NOT NULL,
170
195
    notes       VARCHAR
171
196
);
192
217
-- Worksheets
193
218
-- ----------
194
219
CREATE TABLE exercise (
195
 
    identifier  TEXT PRIMARY KEY,
 
220
    identifier  TEXT PRIMARY KEY CHECK (valid_url_name(identifier)),
196
221
    name        TEXT,
197
222
    description TEXT,
 
223
    description_xhtml_cache TEXT,
198
224
    partial     TEXT,
199
225
    solution    TEXT,
200
226
    include     TEXT,
204
230
CREATE TABLE worksheet (
205
231
    worksheetid SERIAL PRIMARY KEY,
206
232
    offeringid  INT4 REFERENCES offering (offeringid) NOT NULL,
207
 
    identifier  TEXT NOT NULL,
 
233
    identifier  TEXT NOT NULL CHECK (valid_url_name(identifier)),
208
234
    name        TEXT NOT NULL,
209
235
    data        TEXT NOT NULL,
 
236
    data_xhtml_cache TEXT,
210
237
    assessable  BOOLEAN NOT NULL,
 
238
    published   BOOLEAN NOT NULL DEFAULT true,
211
239
    seq_no      INT4 NOT NULL,
212
240
    format      TEXT NOT NUll,
213
241
    UNIQUE (offeringid, identifier)