GitBucket
4.21.2
Toggle navigation
Snippets
Sign in
Files
Branches
1
Releases
Issues
3
Pull requests
Labels
Priorities
Milestones
Wiki
Forks
mark.george
/
marking
Browse code
Prevent penalties from resulting in negative marks
master
1 parent
3bc33df
commit
da15aa38f31f278105cacf91b37eae6614460548
Mark George
authored
on 5 Oct 2023
Patch
Showing
1 changed file
sql/schema.sql
Ignore Space
Show notes
View
sql/schema.sql
-- drop all objects; CREATE TABLE Assessment ( Name VARCHAR PRIMARY KEY, Out_of NUMERIC(7,3) NOT NULL ); CREATE TABLE Category ( Category VARCHAR PRIMARY KEY, Sort_Order REAL NOT NULL ); CREATE TABLE Editor_Type ( Editor_Type VARCHAR PRIMARY KEY ); INSERT INTO Editor_Type VALUES ('Scale'),('Numeric'); CREATE TABLE Criterion_Type ( Criterion_Type VARCHAR PRIMARY KEY ); INSERT INTO Criterion_Type VALUES ('Normal'),('Special'),('Penalty'); CREATE TABLE Criterion ( Criterion VARCHAR PRIMARY KEY, Category VARCHAR NOT NULL, Description VARCHAR NOT NULL, Sort_order REAL NOT NULL, Weight REAL NOT NULL, Min SMALLINT NOT NULL, Max SMALLINT NOT NULL, Editor_Type VARCHAR NOT NULL, Criterion_Type VARCHAR NOT NULL, CONSTRAINT FK_Criterion_Category FOREIGN KEY (Category) REFERENCES Category (Category), CONSTRAINT FK_Criterion_Editor_Type FOREIGN KEY (Editor_Type) REFERENCES Editor_type (Editor_Type), CONSTRAINT FK_Criterion_Criterion_Type FOREIGN KEY (Criterion_Type) REFERENCES Criterion_type (Criterion_Type) ); CREATE TABLE Student ( Submission_ID VARCHAR UNIQUE NOT NULL, Student_ID VARCHAR UNIQUE NOT NULL, Username VARCHAR UNIQUE NOT NULL, First_Name VARCHAR NOT NULL, Last_Name VARCHAR NOT NULL, Email VARCHAR UNIQUE NOT NULL, Send_Feedback BOOLEAN NOT NULL, Email_Sent BOOLEAN NOT NULL, CONSTRAINT PK_Student PRIMARY KEY (Submission_ID) ); CREATE TABLE Submission ( Submission_ID VARCHAR PRIMARY KEY, CONSTRAINT FK_Submission_Student FOREIGN KEY (Submission_ID) REFERENCES Student (Submission_ID) ); CREATE TABLE Result ( Submission_ID VARCHAR NOT NULL, Criterion VARCHAR NOT NULL, Result NUMERIC(10,6) NOT NULL, Comment VARCHAR, CONSTRAINT PK_Result PRIMARY KEY (Submission_ID, Criterion), CONSTRAINT FK_Result_Student FOREIGN KEY (Submission_ID) REFERENCES Submission (Submission_ID), CONSTRAINT FK_Result_Criterion FOREIGN KEY (Criterion) REFERENCES Criterion (Criterion) ); CREATE OR REPLACE VIEW Weighted_Normal AS SELECT Submission_ID, Cast(Sum(Weighted) * ( SELECT Out_Of FROM Assessment) as NUMERIC(10,6)) AS Mark FROM ( SELECT Submission_ID, Result, Weight, Max, (Result / Max * (Weight / ( SELECT Sum(Weight) FROM Criterion WHERE Criterion_Type = 'Normal'))) AS Weighted FROM Result INNER JOIN Criterion ON Result.Criterion = Criterion.Criterion WHERE Criterion_Type = 'Normal') GROUP BY Submission_ID; -- special marks are multiplied by the criterion weight and added to the mark- use -- negative weight for penalties CREATE OR REPLACE VIEW Weighted_Special AS SELECT Submission_id, Cast(Sum(Special) as NUMERIC(10,6)) AS special FROM ( SELECT Submission_id, ( Result * Weight ) AS special FROM Result INNER JOIN Criterion ON Result.Criterion = Criterion.Criterion WHERE Criterion_Type = 'Special' UNION ALL SELECT DISTINCT Submission_id, 0 FROM Result ) GROUP BY Submission_id; CREATE OR REPLACE VIEW Weighted_Penalty AS SELECT Submission_ID, Cast(Sum(Penalty) as NUMERIC(10,6)) AS Penalty FROM ( SELECT Submission_ID, ( Result * Weight ) AS Penalty FROM Result INNER JOIN Criterion ON Result.Criterion = Criterion.Criterion WHERE Criterion_Type = 'Penalty' UNION ALL SELECT DISTINCT Submission_ID, 0 FROM Result ) GROUP BY Submission_id; -- version to use when bonus contributes to other assessment (maximum mark CAN be exceeded) CREATE OR REPLACE VIEW Mark AS SELECT Weighted_Normal.Submission_ID, case when mark - penalty > 0 then cast(round(Mark - Penalty,3) as NUMERIC(7,3)) else 0 end as Mark FROM Weighted_Normal INNER JOIN Weighted_Penalty USING (Submission_ID) -- version to use when bonus contributes only to this assessment (maximum mark can not -- be exceeded) -- CREATE VIEW mark -- AS -- SELECT weighted_mark.submission_id, -- Round( -- Casewhen( -- mark + special <= (SELECT out_of FROM assessment), -- mark + special, -- (SELECT out_of FROM assessment) -- ), -- 5) AS MARK -- FROM weighted_mark -- INNER JOIN weighted_special -- ON weighted_mark.submission_id = weighted_special.submission_id; CREATE VIEW marking_schedule AS SELECT criterion.category, description, weight, max AS OUTOF FROM criterion INNER JOIN category ON category.category = criterion.category ORDER BY category.sort_order, criterion.sort_order; CREATE OR REPLACE VIEW All_Marks ("Student", "Mark", "Penalty", "Special", "Complete", "Email Sent") AS SELECT Submission.Submission_ID, COALESCE(Cast(Round(Mark, 3) AS VARCHAR), ''), COALESCE(Cast(Round(Penalty, 3) AS VARCHAR), ''), COALESCE(Cast(Round(Special, 3) AS VARCHAR), ''), COALESCE(Cast(CASE WHEN Complete THEN 'Yes' ELSE 'No' END AS varchar), ''), COALESCE(Cast(CASE WHEN Email_Sent THEN 'Yes' ELSE 'No' END AS varchar), '') FROM Submission LEFT JOIN Mark USING (Submission_ID) LEFT JOIN Weighted_Special USING (Submission_ID) LEFT JOIN Weighted_Penalty USING (Submission_ID) LEFT JOIN ( SELECT Submission_ID, Count(Criterion) = ( SELECT Count(Criterion) FROM Criterion) AS Complete FROM Result GROUP BY Submission_ID) USING (Submission_ID) LEFT JOIN student USING (Submission_ID); -- view for showing relative weightings as percentages of total mark CREATE OR REPLACE VIEW weighted_schedule AS SELECT cat.category, criterion, description, weight, round(weight / total_weight * 100, 2) AS relative_weight, round(weight / total_weight * ( SELECT out_of FROM assessment), 2) AS out_of FROM criterion crit, ( SELECT sum(weight) AS total_weight FROM criterion WHERE Criterion_Type = 'Normal') INNER JOIN category cat ON crit.category = cat.category WHERE Criterion_Type = 'Normal' ORDER BY cat.sort_order, crit.sort_order; CREATE OR REPLACE VIEW weighted_categories AS SELECT category, round(cast(sum(relative_weight) as real), 2) AS weight, round(cast(sum(relative_weight) / 100 * (select out_of from assessment) as real), 2) AS out_of, FROM WEIGHTED_SCHEDULE GROUP BY category; CREATE OR REPLACE VIEW report AS SELECT a.name AS assessment, a.out_of, s.student_id, s.first_name || ' ' || s.last_name AS name, s.username, cat.category, cat.sort_order AS cat_order, cr.description AS criterion, cr.max AS max, cr.sort_order AS cr_order, r.result, r.comment, round(m.mark, 3) AS mark, round(penalty, 3) as penalty, round(special, 3) as special FROM assessment a JOIN category cat INNER JOIN criterion cr ON cat.category = cr.category INNER JOIN result r ON r.criterion = cr.criterion INNER JOIN Student s ON s.Submission_ID = r.Submission_ID INNER JOIN mark m ON m.submission_id = r.Submission_ID INNER JOIN weighted_special ws on ws.submission_id = r.Submission_ID INNER JOIN Weighted_Penalty wp on wp.submission_id = r.Submission_ID ORDER BY student_id, cat_order, cr_order; -- use this if you want to produce useful category totals (and you don't care -- about weighting for individual criterion) -- UPDATE criterion -- SET weight = Cast(max AS DOUBLE) / (SELECT Count(*) -- FROM criterion);
-- drop all objects; CREATE TABLE Assessment ( Name VARCHAR PRIMARY KEY, Out_of NUMERIC(7,3) NOT NULL ); CREATE TABLE Category ( Category VARCHAR PRIMARY KEY, Sort_Order REAL NOT NULL ); CREATE TABLE Editor_Type ( Editor_Type VARCHAR PRIMARY KEY ); INSERT INTO Editor_Type VALUES ('Scale'),('Numeric'); CREATE TABLE Criterion_Type ( Criterion_Type VARCHAR PRIMARY KEY ); INSERT INTO Criterion_Type VALUES ('Normal'),('Special'),('Penalty'); CREATE TABLE Criterion ( Criterion VARCHAR PRIMARY KEY, Category VARCHAR NOT NULL, Description VARCHAR NOT NULL, Sort_order REAL NOT NULL, Weight REAL NOT NULL, Min SMALLINT NOT NULL, Max SMALLINT NOT NULL, Editor_Type VARCHAR NOT NULL, Criterion_Type VARCHAR NOT NULL, CONSTRAINT FK_Criterion_Category FOREIGN KEY (Category) REFERENCES Category (Category), CONSTRAINT FK_Criterion_Editor_Type FOREIGN KEY (Editor_Type) REFERENCES Editor_type (Editor_Type), CONSTRAINT FK_Criterion_Criterion_Type FOREIGN KEY (Criterion_Type) REFERENCES Criterion_type (Criterion_Type) ); CREATE TABLE Student ( Submission_ID VARCHAR UNIQUE NOT NULL, Student_ID VARCHAR UNIQUE NOT NULL, Username VARCHAR UNIQUE NOT NULL, First_Name VARCHAR NOT NULL, Last_Name VARCHAR NOT NULL, Email VARCHAR UNIQUE NOT NULL, Send_Feedback BOOLEAN NOT NULL, Email_Sent BOOLEAN NOT NULL, CONSTRAINT PK_Student PRIMARY KEY (Submission_ID) ); CREATE TABLE Submission ( Submission_ID VARCHAR PRIMARY KEY, CONSTRAINT FK_Submission_Student FOREIGN KEY (Submission_ID) REFERENCES Student (Submission_ID) ); CREATE TABLE Result ( Submission_ID VARCHAR NOT NULL, Criterion VARCHAR NOT NULL, Result NUMERIC(10,6) NOT NULL, Comment VARCHAR, CONSTRAINT PK_Result PRIMARY KEY (Submission_ID, Criterion), CONSTRAINT FK_Result_Student FOREIGN KEY (Submission_ID) REFERENCES Submission (Submission_ID), CONSTRAINT FK_Result_Criterion FOREIGN KEY (Criterion) REFERENCES Criterion (Criterion) ); CREATE OR REPLACE VIEW Weighted_Normal AS SELECT Submission_ID, Cast(Sum(Weighted) * ( SELECT Out_Of FROM Assessment) as NUMERIC(10,6)) AS Mark FROM ( SELECT Submission_ID, Result, Weight, Max, (Result / Max * (Weight / ( SELECT Sum(Weight) FROM Criterion WHERE Criterion_Type = 'Normal'))) AS Weighted FROM Result INNER JOIN Criterion ON Result.Criterion = Criterion.Criterion WHERE Criterion_Type = 'Normal') GROUP BY Submission_ID; -- special marks are multiplied by the criterion weight and added to the mark- use -- negative weight for penalties CREATE OR REPLACE VIEW Weighted_Special AS SELECT Submission_id, Cast(Sum(Special) as NUMERIC(10,6)) AS special FROM ( SELECT Submission_id, ( Result * Weight ) AS special FROM Result INNER JOIN Criterion ON Result.Criterion = Criterion.Criterion WHERE Criterion_Type = 'Special' UNION ALL SELECT DISTINCT Submission_id, 0 FROM Result ) GROUP BY Submission_id; CREATE OR REPLACE VIEW Weighted_Penalty AS SELECT Submission_ID, Cast(Sum(Penalty) as NUMERIC(10,6)) AS Penalty FROM ( SELECT Submission_ID, ( Result * Weight ) AS Penalty FROM Result INNER JOIN Criterion ON Result.Criterion = Criterion.Criterion WHERE Criterion_Type = 'Penalty' UNION ALL SELECT DISTINCT Submission_ID, 0 FROM Result ) GROUP BY Submission_id; -- version to use when bonus contributes to other assessment (maximum mark CAN be exceeded) CREATE OR REPLACE VIEW Mark AS SELECT Weighted_Normal.Submission_ID, Cast(Round(Mark - Penalty, 3) as NUMERIC(7,3)) AS Mark FROM Weighted_Normal INNER JOIN Weighted_Penalty USING (Submission_ID); -- version to use when bonus contributes only to this assessment (maximum mark can not -- be exceeded) -- CREATE VIEW mark -- AS -- SELECT weighted_mark.submission_id, -- Round( -- Casewhen( -- mark + special <= (SELECT out_of FROM assessment), -- mark + special, -- (SELECT out_of FROM assessment) -- ), -- 5) AS MARK -- FROM weighted_mark -- INNER JOIN weighted_special -- ON weighted_mark.submission_id = weighted_special.submission_id; CREATE VIEW marking_schedule AS SELECT criterion.category, description, weight, max AS OUTOF FROM criterion INNER JOIN category ON category.category = criterion.category ORDER BY category.sort_order, criterion.sort_order; CREATE OR REPLACE VIEW All_Marks ("Student", "Mark", "Penalty", "Special", "Complete", "Email Sent") AS SELECT Submission.Submission_ID, COALESCE(Cast(Round(Mark, 3) AS VARCHAR), ''), COALESCE(Cast(Round(Penalty, 3) AS VARCHAR), ''), COALESCE(Cast(Round(Special, 3) AS VARCHAR), ''), COALESCE(Cast(CASE WHEN Complete THEN 'Yes' ELSE 'No' END AS varchar), ''), COALESCE(Cast(CASE WHEN Email_Sent THEN 'Yes' ELSE 'No' END AS varchar), '') FROM Submission LEFT JOIN Mark USING (Submission_ID) LEFT JOIN Weighted_Special USING (Submission_ID) LEFT JOIN Weighted_Penalty USING (Submission_ID) LEFT JOIN ( SELECT Submission_ID, Count(Criterion) = ( SELECT Count(Criterion) FROM Criterion) AS Complete FROM Result GROUP BY Submission_ID) USING (Submission_ID) LEFT JOIN student USING (Submission_ID); -- view for showing relative weightings as percentages of total mark CREATE OR REPLACE VIEW weighted_schedule AS SELECT cat.category, criterion, description, weight, round(weight / total_weight * 100, 2) AS relative_weight, round(weight / total_weight * ( SELECT out_of FROM assessment), 2) AS out_of FROM criterion crit, ( SELECT sum(weight) AS total_weight FROM criterion WHERE Criterion_Type = 'Normal') INNER JOIN category cat ON crit.category = cat.category WHERE Criterion_Type = 'Normal' ORDER BY cat.sort_order, crit.sort_order; CREATE OR REPLACE VIEW weighted_categories AS SELECT category, round(cast(sum(relative_weight) as real), 2) AS weight, round(cast(sum(relative_weight) / 100 * (select out_of from assessment) as real), 2) AS out_of, FROM WEIGHTED_SCHEDULE GROUP BY category; CREATE OR REPLACE VIEW report AS SELECT a.name AS assessment, a.out_of, s.student_id, s.first_name || ' ' || s.last_name AS name, s.username, cat.category, cat.sort_order AS cat_order, cr.description AS criterion, cr.max AS max, cr.sort_order AS cr_order, r.result, r.comment, round(m.mark, 3) AS mark, round(penalty, 3) as penalty, round(special, 3) as special FROM assessment a JOIN category cat INNER JOIN criterion cr ON cat.category = cr.category INNER JOIN result r ON r.criterion = cr.criterion INNER JOIN Student s ON s.Submission_ID = r.Submission_ID INNER JOIN mark m ON m.submission_id = r.Submission_ID INNER JOIN weighted_special ws on ws.submission_id = r.Submission_ID INNER JOIN Weighted_Penalty wp on wp.submission_id = r.Submission_ID ORDER BY student_id, cat_order, cr_order; -- use this if you want to produce useful category totals (and you don't care -- about weighting for individual criterion) -- UPDATE criterion -- SET weight = Cast(max AS DOUBLE) / (SELECT Count(*) -- FROM criterion);
Show line notes below