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 name TEXT, -- NOT NULL,
10 email
TEXT, -- NOT NULL,
11 town
TEXT, -- NOT NULL,
12 university
TEXT, -- NOT NULL,
13 level TEXT, --ULEVEL NOT NULL,
17 CREATE TABLE contests (
22 owner TEXT NOT NULL REFERENCES users
,
23 CONSTRAINT positive_duration
CHECK (stop
> start)
26 CREATE TABLE problems (
29 generator GENERATOR
NOT NULL,
31 level PLEVEL
NOT NULL,
34 owner TEXT NOT NULL REFERENCES users
,
35 private
BOOLEAN NOT NULL DEFAULT FALSE,
36 runner RUNNER
NOT NULL,
37 statement TEXT NOT NULL,
40 timeout
REAL NOT NULL,
46 CREATE TABLE contest_problems (
47 contest
TEXT REFERENCES contests
,
48 problem
TEXT NOT NULL REFERENCES problems
,
49 PRIMARY KEY (contest
, problem
)
53 id SERIAL
PRIMARY KEY,
54 contest
TEXT REFERENCES contests
,
58 extension
TEXT NOT NULL,
60 private
BOOLEAN NOT NULL DEFAULT FALSE,
61 problem
TEXT NOT NULL REFERENCES problems
,
66 owner TEXT NOT NULL REFERENCES users
70 contest
TEXT NOT NULL REFERENCES contests
,
71 problem
TEXT NOT NULL REFERENCES problems
,
72 owner TEXT NOT NULL REFERENCES users
,
74 PRIMARY KEY (contest
, problem
, owner)
This page took 0.021605 seconds and 5 git commands to generate.