From 171cdab6e2f46c0541d06f0a4762d2f5533f6ef9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 10 Oct 2024 13:38:23 +0200 Subject: [PATCH] add classes, num and solve time to stored seeds. add tables for cert games --- src/hanabi/database/games_seeds_schema.sql | 36 ++++++++++++++++++++-- 1 file changed, 34 insertions(+), 2 deletions(-) diff --git a/src/hanabi/database/games_seeds_schema.sql b/src/hanabi/database/games_seeds_schema.sql index b853bf0..cfd3671 100644 --- a/src/hanabi/database/games_seeds_schema.sql +++ b/src/hanabi/database/games_seeds_schema.sql @@ -12,11 +12,20 @@ CREATE TABLE seeds ( num_players SMALLINT NOT NULL, variant_id SMALLINT NOT NULL, starting_player SMALLINT NOT NULL DEFAULT 0, - custom BOOLEAN NOT NULL DEFAULT FAlSE, + /* Type of seed: 0 is from the website, all other integers are customly generated testsets, arbitrarily ordered into groups */ + class SMALLINT NOT NULL DEFAULT 0, + /* For seeds on the website: Always 0. For custom seeds: Numbered within their class */ + num INT NOT NULL DEFAULT 0, feasible BOOLEAN DEFAULT NULL, + solved BOOLEAN GENERATED ALWAYS AS ( feasible IS NOT NULL ) STORED, + /* + If seed solved: Amount of time (in ms) to solve seed. + If seed not solved: Maximum amount of time spent on solving before timeout + */ + solve_time_ms INT NOT NULL DEFAULT 0, max_score_theoretical SMALLINT ); -CREATE INDEX seeds_variant_idx ON seeds (variant_id); +CREATE INDEX seeds_variant_custom_feasible_idx ON seeds (variant_id, custom, feasible); DROP TABLE IF EXISTS decks CASCADE; @@ -61,6 +70,16 @@ CREATE INDEX games_seed_score_idx ON games (seed, score); CREATE INDEX games_var_seed_idx ON games (variant_id, seed); CREATE INDEX games_player_idx ON games (num_players); +/* Example games finishing with max score, not necessarily played by humans. */ +DROP TABLE IF EXISTS certificate_games; +CREATE TABLE certificate_games ( + id INT PRIMARY KEY, + seed TEXT NOT NULL REFERENCES seeds, + num_turns SMALLINT NOT NULL, + min_pace SMALLINT, + num_bdrs SMALLINT +); +CREATE INDEX certificate_games_seed_idx ON games (seed); DROP TABLE IF EXISTS game_participants CASCADE; @@ -136,6 +155,19 @@ CREATE TABLE game_actions ( PRIMARY KEY (game_id, turn) ); +/* Functions the same as game_actions, just for certificate_games instead */ +DROP TABLE IF EXISTS certificate_game_actions CASCADE; +CREATE TABLE certificate_game_actions ( + game_id INTEGER NOT NULL, + turn SMALLINT NOT NULL, + type SMALLINT NOT NULL, + target SMALLINT NOT NULL, + value SMALLINT NOT NULL, + + FOREIGN KEY (game_id) REFERENCES certificate_games (id) ON DELETE CASCADE, + PRIMARY KEY (game_id, turn) +); + DROP TABLE IF EXISTS score_upper_bounds; CREATE TABLE score_upper_bounds (