]> git.sesse.net Git - ccbs/blobdiff - sql/ccbs.sql
Make a (somewhat inefficient?) stored procedure implementation of finding min and...
[ccbs] / sql / ccbs.sql
index 374af67217eac9e62c9f1e9142320d6a52b07977..fa63774a20817419cadc4213bcaa223fb7b26921 100644 (file)
@@ -10,8 +10,19 @@ CREATE TABLE machines (
 CREATE TABLE countries (
        country SERIAL PRIMARY KEY,
        countryname VARCHAR NOT NULL,
 CREATE TABLE countries (
        country SERIAL PRIMARY KEY,
        countryname VARCHAR NOT NULL,
+       countrycode CHAR(3) NOT NULL,   -- IOC country code
 
 
-       UNIQUE ( countryname )
+       UNIQUE ( countryname ),
+       UNIQUE ( countrycode )
+);
+
+CREATE TABLE clubs (
+       club SERIAL PRIMARY KEY,
+       clubname VARCHAR NOT NULL,
+       clubcode CHAR(3) NOT NULL,
+
+       UNIQUE ( clubname ),
+       UNIQUE ( clubcode )
 );
 
 CREATE TABLE songs (
 );
 
 CREATE TABLE songs (
@@ -24,7 +35,20 @@ CREATE TABLE songs (
        UNIQUE ( title )
 );
 
        UNIQUE ( title )
 );
 
--- CREATE TABLE machinesongs etc.
+CREATE TABLE songshorttitles (
+       song INTEGER NOT NULL REFERENCES songs,
+       shorttitle VARCHAR NOT NULL,
+
+       PRIMARY KEY ( song, shorttitle ),
+       UNIQUE ( shorttitle )
+);
+
+CREATE TABLE machinesongs (
+       song INTEGER NOT NULL REFERENCES songs,
+       machine INTEGER NOT NULL REFERENCES machines,
+
+       PRIMARY KEY ( song, machine )
+);
 
 CREATE TABLE scoringsystems (
        scoringsystem SERIAL PRIMARY KEY,
 
 CREATE TABLE scoringsystems (
        scoringsystem SERIAL PRIMARY KEY,
@@ -34,17 +58,23 @@ CREATE TABLE scoringsystems (
 );
 
 CREATE TABLE songratings (
 );
 
 CREATE TABLE songratings (
-       song INTEGER NOT NULL REFERENCES songs,   -- strictly song+machine
+       song INTEGER NOT NULL REFERENCES songs,
+       machine INTEGER NOT NULL REFERENCES machines,
        playmode VARCHAR NOT NULL CHECK (playmode IN ('single','double')),
        difficulty VARCHAR NOT NULL CHECK (difficulty IN ('beginner','standard','difficult','expert','challenge')),
        feetrating INTEGER NOT NULL CHECK (feetrating >= 0 AND feetrating <= 10),
 
        playmode VARCHAR NOT NULL CHECK (playmode IN ('single','double')),
        difficulty VARCHAR NOT NULL CHECK (difficulty IN ('beginner','standard','difficult','expert','challenge')),
        feetrating INTEGER NOT NULL CHECK (feetrating >= 0 AND feetrating <= 10),
 
-       PRIMARY KEY (song, playmode, difficulty)
+       PRIMARY KEY (song, machine, playmode, difficulty)
 );
 );
+CREATE INDEX songratings_feetrating ON songratings ( feetrating );
+
+CREATE VIEW max_single_feetrating AS SELECT machine,song,MAX(feetrating) AS feetrating FROM songratings WHERE playmode='single' GROUP BY machine,song;
 
 CREATE TABLE players (
        player SERIAL PRIMARY KEY,
        nick VARCHAR NOT NULL,
 
 CREATE TABLE players (
        player SERIAL PRIMARY KEY,
        nick VARCHAR NOT NULL,
+       country INTEGER NOT NULL REFERENCES countries,
+       club INTEGER REFERENCES clubs,
 
        UNIQUE ( nick )
 );
 
        UNIQUE ( nick )
 );
@@ -83,8 +113,7 @@ CREATE TABLE tournamentrankings (
        player INTEGER NOT NULL REFERENCES players,
        points INTEGER,
 
        player INTEGER NOT NULL REFERENCES players,
        points INTEGER,
 
-       UNIQUE (tournament, player),
-       PRIMARY KEY (tournament, ranking)
+       PRIMARY KEY (tournament, player)
 );
 
 CREATE TABLE rounds (
 );
 
 CREATE TABLE rounds (
@@ -143,9 +172,137 @@ CREATE TABLE scores (
        chosen BOOLEAN,
        score INTEGER CHECK (score IS NULL OR (score >= 0 AND score <= 10000)),
        
        chosen BOOLEAN,
        score INTEGER CHECK (score IS NULL OR (score >= 0 AND score <= 10000)),
        
-       FOREIGN KEY (song) REFERENCES songs (song),
-       FOREIGN KEY (song, playmode, difficulty) REFERENCES songratings (song, playmode, difficulty),
+       -- FOREIGN KEY (song, playmode, difficulty) REFERENCES songratings (song, playmode, difficulty),
        FOREIGN KEY (tournament, round, parallel, player) REFERENCES roundparticipation (tournament, round, parallel, player),
        FOREIGN KEY (tournament, round, parallel, player) REFERENCES roundparticipation (tournament, round, parallel, player),
-       UNIQUE (tournament, round, parallel, player, songnumber),
-       PRIMARY KEY (tournament, round, parallel, player, song)
+       PRIMARY KEY (tournament, round, parallel, player, songnumber)
+);
+
+CREATE TABLE randomsongsused (
+       song INTEGER NOT NULL PRIMARY KEY REFERENCES songs
 );
 );
+
+CREATE SCHEMA bigscreen;
+
+CREATE TABLE bigscreen.active_tournament (
+       tournament INTEGER NOT NULL PRIMARY KEY REFERENCES tournaments
+);
+CREATE TABLE bigscreen.active_groups (
+       tournament INTEGER NOT NULL REFERENCES bigscreen.active_tournament,
+       round INTEGER NOT NULL,
+       parallel INTEGER NOT NULL,
+       num_machines INTEGER NOT NULL,
+       players_per_machine INTEGER NOT NULL CHECK ( players_per_machine IN (1, 2) ),
+       last_updated TIMESTAMP NOT NULL,
+
+       PRIMARY KEY ( tournament, round, parallel ),
+       FOREIGN KEY ( tournament, round, parallel ) REFERENCES groups
+);
+CREATE TABLE bigscreen.active_screens (
+       id VARCHAR NOT NULL PRIMARY KEY
+);
+
+-- get_max_score_for_songs(tournament, playmode)
+CREATE TYPE max_score AS (
+       song INTEGER,
+       max_score INTEGER
+);
+
+CREATE FUNCTION get_max_score_for_songs(integer, varchar) RETURNS SETOF max_score
+    AS $$
+       SELECT
+           song,
+           MAX(feetrating)*1000 AS max_score
+       FROM songratings
+       WHERE
+           machine=(
+               SELECT machine FROM tournaments WHERE tournament=$1
+            )
+           AND playmode=$2
+       GROUP BY song
+       ;
+$$
+    LANGUAGE SQL
+    STABLE
+    RETURNS NULL ON NULL INPUT;
+
+-- get_max_score_for_players(tournament, round, playmode)
+CREATE FUNCTION get_max_score_for_players(integer, integer, varchar) RETURNS SETOF max_score
+    AS $$
+       SELECT player,
+         (
+            SELECT feetrating
+            FROM songratings
+            WHERE machine=(         -- only find songs on the machine we use
+              SELECT machine FROM tournaments WHERE tournament=$1
+            )
+            AND song NOT IN (       -- not a song that has been in elimination or seeding
+              SELECT song FROM scores 
+              WHERE tournament=$1
+                AND song IS NOT NULL
+                 AND parallel=0
+                 AND chosen='f'
+             )
+             AND (player,song) NOT IN (  -- not a song the player has chosen before, or is a random song in this round
+              SELECT player,song FROM scores
+              WHERE tournament=$1
+                 AND song IS NOT NULL
+                 AND ( chosen='t' OR round=$2 )
+             )
+             AND playmode=$3
+             ORDER BY feetrating DESC LIMIT 1
+         ) * 1000 AS max_score FROM tournamentparticipation;
+$$
+    LANGUAGE SQL
+    STABLE
+    RETURNS NULL ON NULL INPUT;
+
+-- Find out, for each player in the group, what the maximum remaining score
+-- possibly can be, using get_max_score_for_{songs,players} (the first for
+-- selected but not played songs, the second for random songs that have not
+-- been chosen yet).
+--
+-- This doesn't solve problems we'd face with more than one chosen song, but it
+-- should be good enough.
+
+CREATE TYPE minmax_score AS (
+       player INTEGER,
+       min_score INTEGER,
+       max_score INTEGER
+);
+
+-- get_minmax_score_for_players(tournament, round, playmode)
+CREATE FUNCTION get_minmax_score_for_players(integer, integer, varchar) RETURNS SETOF minmax_score
+    AS $$
+DECLARE
+       ret minmax_score;
+       tp RECORD;
+       ts RECORD;
+BEGIN
+       FOR tp IN SELECT player FROM roundparticipation WHERE tournament=$1 AND round=$2 LOOP
+               ret.player := tp.player;
+               ret.min_score := 0;
+               ret.max_score := 0;
+
+               FOR ts IN SELECT song,score FROM scores WHERE tournament=$1 and round=$2 and player=tp.player LOOP
+                       IF ts.score IS NOT NULL THEN
+                               -- score is already given
+                               ret.min_score := ret.min_score + ts.score;
+                               ret.max_score := ret.max_score + ts.score;
+                       ELSE
+                               IF ts.song IS NOT NULL THEN
+                                       ret.max_score := ret.max_score + ( SELECT max_score FROM get_max_score_for_songs($1, $3) WHERE song=ts.song );
+                               ELSE
+                                       ret.max_score := ret.max_score + ( SELECT max_score FROM get_max_score_for_players($1, $3) WHERE song=tp.player );
+                               END IF;
+                       END IF;
+               END LOOP;
+
+               RETURN NEXT ret;
+       END LOOP;
+       RETURN;
+END;
+$$
+    LANGUAGE plpgsql
+    STABLE
+    RETURNS NULL ON NULL INPUT;
+