5992b412da70e5e0b206f1eb30500027a778b059
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,
39 timeout
REAL NOT NULL,
45 CREATE TABLE contest_problems (
46 contest
TEXT REFERENCES contests
,
47 problem
TEXT NOT NULL REFERENCES problems
,
48 PRIMARY KEY (contest
, problem
)
52 id SERIAL
PRIMARY KEY,
53 contest
TEXT REFERENCES contests
,
57 extension
TEXT NOT NULL,
59 private
BOOLEAN NOT NULL DEFAULT FALSE,
60 problem
TEXT NOT NULL REFERENCES problems
,
65 owner TEXT NOT NULL REFERENCES users
69 contest
TEXT NOT NULL REFERENCES contests
,
70 problem
TEXT NOT NULL REFERENCES problems
,
71 owner TEXT NOT NULL REFERENCES users
,
73 PRIMARY KEY (contest
, problem
, owner)
This page took 0.023571 seconds and 3 git commands to generate.