feat: Add task metrics to DB schema

1 files changed, 19 insertions, 0 deletions

diff --git a/database/schema.sql b/database/schema.sql
index 9e356b4a..3b751c30 100644
--- a/database/schema.sql
+++ b/database/schema.sql
@@ -233,6 +233,7 @@ CREATE TABLE task_states (
 );
 
 -- The measurements of a single stage
+DROP TABLE IF EXISTS stage_measurements;
 CREATE TABLE stage_measurements (
   id            INTEGER PRIMARY KEY     NOT NULL AUTO_INCREMENT,
   experiment_id INTEGER                 NOT NULL,
@@ -246,6 +247,24 @@ CREATE TABLE stage_measurements (
     ON UPDATE CASCADE
 );
 
+-- Metrics of a single task
+DROP TABLE IF EXISTS task_metrics;
+CREATE TABLE task_metrics (
+  id            INTEGER PRIMARY KEY     NOT NULL AUTO_INCREMENT,
+  experiment_id INTEGER                 NOT NULL,
+  task_id       INTEGER                 NOT NULL,
+  waiting       INTEGER                 NOT NULL CHECK (waiting >= 0),
+  execution     INTEGER                 NOT NULL CHECK (execution >= 0),
+  turnaround    INTEGER                 NOT NULL CHECK (turnaround >= 0),
+
+  FOREIGN KEY (experiment_id) REFERENCES experiments (id)
+    ON DELETE CASCADE
+    ON UPDATE CASCADE,
+  FOREIGN KEY (task_id) REFERENCES tasks (id)
+    ON DELETE CASCADE
+    ON UPDATE CASCADE
+);
+
 -- A machine state
 DROP TABLE IF EXISTS machine_states;
 CREATE TABLE machine_states (