← Back to branch summary

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

« back to all changes in this revision

Viewing changes to userdb/users.sql

  • Committer: David Coles
  • Date: 2010-02-24 08:19:50 UTC
  • Revision ID: coles.david@gmail.com-20100224081950-5g3w565es0dyv8aj
docs: Worksheets and Exercise developer documentation

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,
48
67
    groups_student_permissions  VARCHAR NOT NULL DEFAULT 'none',
49
68
    CHECK (groups_student_permissions in ('none', 'invite', 'create')),
50
69
    UNIQUE (subject, semesterid)
61
80
 
62
81
CREATE TABLE project (
63
82
    projectid   SERIAL PRIMARY KEY NOT NULL,
64
 
    short_name  TEXT NOT NULL,
 
83
    short_name  TEXT NOT NULL CHECK (valid_url_name(short_name)),
65
84
    name        TEXT NOT NULL,
66
85
    synopsis    TEXT,
67
86
    url         TEXT,
68
87
    projectsetid  INTEGER REFERENCES project_set (projectsetid) NOT NULL,
69
 
    deadline    TIMESTAMP
 
88
    deadline    TIMESTAMP NOT NULL
70
89
);
71
90
 
72
91
CREATE OR REPLACE FUNCTION check_project_namespacing_insertupdate()
96
115
    FOR EACH ROW EXECUTE PROCEDURE check_project_namespacing_insertupdate();
97
116
 
98
117
CREATE TABLE project_group (
99
 
    groupnm     VARCHAR NOT NULL,
 
118
    groupnm     VARCHAR NOT NULL CHECK (valid_url_name(groupnm)),
100
119
    groupid     SERIAL PRIMARY KEY NOT NULL,
101
120
    projectsetid  INTEGER REFERENCES project_set (projectsetid) NOT NULL,
102
121
    nick        VARCHAR,
192
211
-- Worksheets
193
212
-- ----------
194
213
CREATE TABLE exercise (
195
 
    identifier  TEXT PRIMARY KEY,
 
214
    identifier  TEXT PRIMARY KEY CHECK (valid_url_name(identifier)),
196
215
    name        TEXT,
197
216
    description TEXT,
198
217
    partial     TEXT,
204
223
CREATE TABLE worksheet (
205
224
    worksheetid SERIAL PRIMARY KEY,
206
225
    offeringid  INT4 REFERENCES offering (offeringid) NOT NULL,
207
 
    identifier  TEXT NOT NULL,
 
226
    identifier  TEXT NOT NULL CHECK (valid_url_name(identifier)),
208
227
    name        TEXT NOT NULL,
209
228
    data        TEXT NOT NULL,
210
229
    assessable  BOOLEAN NOT NULL,