1 CREATE TYPE ULEVEL
AS ENUM ('Highschool', 'Undergraduate', 'Master', 'Doctorate', 'Other');
2 CREATE TYPE PLEVEL
AS ENUM ('beginner', 'easy', 'medium', 'hard');
3 CREATE TYPE GENERATOR
AS ENUM ('File', 'Run', 'Undef');
4 CREATE TYPE RUNNER
AS ENUM ('File', 'Verifier', 'Interactive');
5 CREATE TYPE JUDGE
AS ENUM ('Absolute', 'Points');
9 passphrase
TEXT NOT NULL,
10 admin BOOLEAN NOT NULL DEFAULT FALSE,
11 name TEXT, -- NOT NULL,
12 email
TEXT, -- NOT NULL,
13 phone
TEXT, -- NOT NULL,
14 town
TEXT, -- NOT NULL,
15 university
TEXT, -- NOT NULL,
16 level TEXT, --ULEVEL NOT NULL,
20 CREATE TABLE contests (
25 owner TEXT NOT NULL REFERENCES users
,
26 CONSTRAINT positive_duration
CHECK (stop
> start)
29 CREATE TABLE problems (
33 generator GENERATOR
NOT NULL,
35 level PLEVEL
NOT NULL,
38 owner TEXT NOT NULL REFERENCES users
,
39 private
BOOLEAN NOT NULL DEFAULT FALSE,
40 runner RUNNER
NOT NULL,
41 statement TEXT NOT NULL,
44 timeout
REAL NOT NULL,
52 CREATE TABLE contest_problems (
53 contest
TEXT REFERENCES contests
,
54 problem
TEXT NOT NULL REFERENCES problems
,
55 PRIMARY KEY (contest
, problem
)
59 id SERIAL
PRIMARY KEY,
60 contest
TEXT REFERENCES contests
,
64 extension
TEXT NOT NULL,
66 private
BOOLEAN NOT NULL DEFAULT FALSE,
67 problem
TEXT NOT NULL REFERENCES problems
,
72 owner TEXT NOT NULL REFERENCES users
76 contest
TEXT NOT NULL REFERENCES contests
,
77 problem
TEXT NOT NULL REFERENCES problems
,
78 owner TEXT NOT NULL REFERENCES users
,
80 PRIMARY KEY (contest
, problem
, owner)
This page took 0.023366 seconds and 4 git commands to generate.