MPhil in Computer Science & Engg - Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection