diff options
Diffstat (limited to 'database/scripts/tabledefs-ranking.sql')
-rw-r--r-- | database/scripts/tabledefs-ranking.sql | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/database/scripts/tabledefs-ranking.sql b/database/scripts/tabledefs-ranking.sql deleted file mode 100644 index 468f6fc..0000000 --- a/database/scripts/tabledefs-ranking.sql +++ /dev/null @@ -1,59 +0,0 @@ --- Table to keep available ranking statistic types: -DROP TABLE IF EXISTS rankingStat; -CREATE TABLE rankingStat ( - id BIGSERIAL PRIMARY KEY, value TEXT UNIQUE NOT NULL) WITH (OIDS=FALSE); -ALTER TABLE rankingStat OWNER TO postgres; --- Pre-populate: -INSERT INTO rankingStat (value) VALUES - ('QS'), -- Quality score - ('LCSSR'), -- Last chance stability score (last change regressing) - ('LCSSI'), -- Last change stability score (last change improving) - ('LCSS1R'), -- Last change stability score not considering history after - -- last change (last change regressing) - ('LCSS1I'); -- Last change stability score not considering history after - -- last change (last change improving) - - --- Table to store rankings: -DROP TABLE IF EXISTS ranking; -CREATE TABLE ranking -( - id BIGSERIAL PRIMARY KEY, - - -- Environment: - hostId BIGINT NOT NULL REFERENCES host ON DELETE CASCADE, - platformId BIGINT NOT NULL REFERENCES platform ON DELETE CASCADE, - - -- Revision: - branchId BIGINT NOT NULL REFERENCES branch ON DELETE CASCADE, - sha1Id BIGINT NOT NULL REFERENCES sha1 ON DELETE CASCADE, - - -- Benchmark: - benchmarkId BIGINT NOT NULL REFERENCES benchmark ON DELETE CASCADE, - - -- Metric: - metricId BIGINT NOT NULL REFERENCES metric ON DELETE CASCADE, - - -- Ranking statistic type: - statId BIGINT NOT NULL REFERENCES rankingStat ON DELETE CASCADE, - - -- Ranking statistic value: - value REAL NOT NULL, - - -- Ranking position: - pos INTEGER NOT NULL, - - UNIQUE (hostId, platformId, branchId, sha1Id, benchmarkId, metricId, statId) - -) WITH (OIDS=FALSE); -ALTER TABLE ranking OWNER TO postgres; - --- Indexes: -CREATE INDEX ranking_host_idx ON ranking (hostId); -CREATE INDEX ranking_platform_idx ON ranking (platformId); -CREATE INDEX ranking_branch_idx ON ranking (branchId); -CREATE INDEX ranking_sha1_idx ON ranking (sha1Id); -CREATE INDEX ranking_benchmark_idx ON ranking (benchmarkId); -CREATE INDEX ranking_metric_idx ON ranking (metricId); -CREATE INDEX ranking_stat_idx ON ranking (statId); -CREATE INDEX ranking_pos_idx ON ranking (pos); |