2022-02-08 20:13:24 +01:00
|
|
|
CREATE TYPE match_state AS ENUM ('playing', 'finished');
|
2022-01-03 23:33:00 +01:00
|
|
|
|
2022-01-02 16:14:03 +01:00
|
|
|
CREATE TABLE matches (
|
2022-01-03 23:33:00 +01:00
|
|
|
id SERIAL PRIMARY KEY NOT NULL,
|
|
|
|
state match_state NOT NULL,
|
2022-01-02 16:14:03 +01:00
|
|
|
log_path text NOT NULL,
|
|
|
|
created_at timestamp NOT NULL DEFAULT CURRENT_TIMESTAMP
|
|
|
|
);
|
|
|
|
|
|
|
|
CREATE INDEX match_created_at ON matches(created_at);
|
|
|
|
|
|
|
|
CREATE TABLE match_players (
|
|
|
|
match_id integer REFERENCES matches(id) NOT NULL,
|
|
|
|
bot_id integer REFERENCES bots(id) NOT NULL,
|
|
|
|
player_id integer NOT NULL,
|
|
|
|
PRIMARY KEY (match_id, player_id)
|
|
|
|
);
|