{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T01:54:41Z","timestamp":1780365281883,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,1,2]],"date-time":"2021-01-02T00:00:00Z","timestamp":1609545600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100012913","name":"Tata Consultancy Services","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100012913","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,1,2]]},"DOI":"10.1145\/3430984.3431012","type":"proceedings-article","created":{"date-parts":[[2020,12,28]],"date-time":"2020-12-28T05:34:44Z","timestamp":1609133684000},"page":"56-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Edit Based Grading of SQL Queries"],"prefix":"10.1145","author":[{"given":"Bikash","family":"Chandra","sequence":"first","affiliation":[{"name":"Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ananyo","family":"Banerjee","sequence":"additional","affiliation":[{"name":"Oracle India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Udbhas","family":"Hazra","sequence":"additional","affiliation":[{"name":"Apple India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mathew","family":"Joseph","sequence":"additional","affiliation":[{"name":"Raymour and Flanigan Furnitures"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Sudarshan","sequence":"additional","affiliation":[{"name":"IIT Bombay"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,1,2]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"SIAM J. Comput. (1979)","volume-title":"Equivalences Among Relational Expressions","author":"Aho V.","unstructured":"Alfred\u00a0 V. Aho , Yehoshua Sagiv , and Jeffrey\u00a0 D. Ullman . 1979. Equivalences Among Relational Expressions . SIAM J. Comput. (1979) . Alfred\u00a0V. Aho, Yehoshua Sagiv, and Jeffrey\u00a0D. Ullman. 1979. Equivalences Among Relational Expressions. SIAM J. Comput. (1979)."},{"key":"e_1_3_2_1_2_1","unstructured":"Philip Bille. 2005. A Survey on Tree Edit Distance and Related Problems. Theor. Comput. Sci. (2005).  Philip Bille. 2005. A Survey on Tree Edit Distance and Related Problems. Theor. Comput. Sci. (2005)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Bikash Chandra Ananyo Banerjee Udbhas Hazra Mathew Joseph and S. Sudarshan. 2019. Automated Grading of SQL Queries. ICDE (Poster) (2019).  Bikash Chandra Ananyo Banerjee Udbhas Hazra Mathew Joseph and S. Sudarshan. 2019. Automated Grading of SQL Queries. ICDE (Poster) (2019).","DOI":"10.1109\/ICDE.2019.00159"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Bikash Chandra Ananyo Banerjee Udbhas Hazra Mathew Joseph and S. Sudarshan. 2019. Edit Based Grading of SQL Queries. CoRR (2019). http:\/\/arxiv.org\/abs\/1912.09019  Bikash Chandra Ananyo Banerjee Udbhas Hazra Mathew Joseph and S. Sudarshan. 2019. Edit Based Grading of SQL Queries. CoRR (2019). http:\/\/arxiv.org\/abs\/1912.09019","DOI":"10.1109\/ICDE.2019.00159"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Bikash Chandra Bhupesh Chawda Biplab Kar K.\u00a0V.\u00a0Maheshwara Reddy Shetal Shah and S. Sudarshan. 2015. Data generation for testing and grading SQL queries. VLDB J. (2015).  Bikash Chandra Bhupesh Chawda Biplab Kar K.\u00a0V.\u00a0Maheshwara Reddy Shetal Shah and S. Sudarshan. 2015. Data generation for testing and grading SQL queries. VLDB J. (2015).","DOI":"10.1007\/s00778-015-0395-0"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Bikash Chandra Mathew Joseph Bharath Radhakrishnan Shreevidhya Acharya and S. Sudarshan. 2016. Partial Marking for Automated Grading of SQL Queries. PVLDB (Demo) (2016).  Bikash Chandra Mathew Joseph Bharath Radhakrishnan Shreevidhya Acharya and S. Sudarshan. 2016. Partial Marking for Automated Grading of SQL Queries. PVLDB (Demo) (2016).","DOI":"10.14778\/3007263.3007304"},{"key":"e_1_3_2_1_7_1","volume-title":"Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. PVLDB","author":"Chu Shumo","year":"2018","unstructured":"Shumo Chu , Brendan Murphy , Jared Roesch , Alvin Cheung , and Dan Suciu . 2018. Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. PVLDB ( 2018 ). Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, and Dan Suciu. 2018. Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. PVLDB (2018)."},{"key":"e_1_3_2_1_8_1","volume-title":"Cosette: An Automated Prover for SQL. In CIDR.","author":"Chu Shumo","year":"2017","unstructured":"Shumo Chu , Chenglong Wang , Konstantin Weitz , and Alvin Cheung . 2017 . Cosette: An Automated Prover for SQL. In CIDR. Shumo Chu, Chenglong Wang, Konstantin Weitz, and Alvin Cheung. 2017. Cosette: An Automated Prover for SQL. In CIDR."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Sumit Gulwani Ivan Radi\u010dek and Florian Zuleger. 2018. Automated Clustering and Program Repair for Introductory Programming Assignments. In PLDI.  Sumit Gulwani Ivan Radi\u010dek and Florian Zuleger. 2018. Automated Clustering and Program Repair for Introductory Programming Assignments. In PLDI.","DOI":"10.1145\/3192366.3192387"},{"key":"e_1_3_2_1_10_1","volume-title":"Ioannidis and Raghu Ramakrishnan","author":"E.","year":"1995","unstructured":"Yannis\u00a0 E. Ioannidis and Raghu Ramakrishnan . 1995 . Containment of Conjunctive Queries: Beyond Relations as Sets. ACM Trans. Database Syst .(1995). Yannis\u00a0E. Ioannidis and Raghu Ramakrishnan. 1995. Containment of Conjunctive Queries: Beyond Relations as Sets. ACM Trans. Database Syst.(1995)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"T.\u00a0S. Jayram Phokion\u00a0G. Kolaitis and Erik Vee. 2006. The Containment Problem for Real Conjunctive Queries with Inequalities. In PODS.  T.\u00a0S. Jayram Phokion\u00a0G. Kolaitis and Erik Vee. 2006. The Containment Problem for Real Conjunctive Queries with Inequalities. In PODS.","DOI":"10.1145\/1142351.1142363"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Garvit Juniwal Alexandre Donz\u00e9 Jeff\u00a0C. Jensen and Sanjit\u00a0A. Seshia. 2014. CPSGrader: Synthesizing Temporal Logic Testers for Auto-grading an Embedded Systems Laboratory. In EMSOFT.  Garvit Juniwal Alexandre Donz\u00e9 Jeff\u00a0C. Jensen and Sanjit\u00a0A. Seshia. 2014. CPSGrader: Synthesizing Temporal Logic Testers for Auto-grading an Embedded Systems Laboratory. In EMSOFT.","DOI":"10.1145\/2656045.2656053"},{"key":"e_1_3_2_1_13_1","unstructured":"Yehoshua Sagiv and Mihalis Yannakakis. 1978. Equivalence among Relational Expressions with the Union and Difference Operation. In VLDB.  Yehoshua Sagiv and Mihalis Yannakakis. 1978. Equivalence among Relational Expressions with the Union and Difference Operation. In VLDB."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Shetal Shah S. Sudarshan Suhas Kajbaje Sandeep Patidar Bhanu\u00a0Pratap Gupta and Devang Vira. 2011. Generating Test Data for Killing SQL Mutants: A Constraint-based Approach. In ICDE.  Shetal Shah S. Sudarshan Suhas Kajbaje Sandeep Patidar Bhanu\u00a0Pratap Gupta and Devang Vira. 2011. Generating Test Data for Killing SQL Mutants: A Constraint-based Approach. In ICDE.","DOI":"10.1109\/ICDE.2011.5767876"},{"key":"e_1_3_2_1_15_1","unstructured":"Abraham Silberschatz Henry\u00a0F. Korth and S. Sudarshan. 2019. Database System Concepts(7th ed.). McGraw Hill.  Abraham Silberschatz Henry\u00a0F. Korth and S. Sudarshan. 2019. Database System Concepts(7th ed.). McGraw Hill."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Rishabh Singh Sumit Gulwani and Armando Solar-Lezama. 2013. Automated Feedback Generation for Introductory Programming Assignments. In PLDI.  Rishabh Singh Sumit Gulwani and Armando Solar-Lezama. 2013. Automated Feedback Generation for Introductory Programming Assignments. In PLDI.","DOI":"10.1145\/2491956.2462195"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Ke Wang Rishabh Singh and Zhendong Su. 2018. Search Align and Repair: Data-driven Feedback Generation for Introductory Programming Exercises. In PLDI.  Ke Wang Rishabh Singh and Zhendong Su. 2018. Search Align and Repair: Data-driven Feedback Generation for Introductory Programming Exercises. In PLDI.","DOI":"10.1145\/3192366.3192384"}],"event":{"name":"CODS COMAD 2021: 8th ACM IKDD CODS and 26th COMAD","location":"Bangalore India","acronym":"CODS COMAD 2021"},"container-title":["Proceedings of the 3rd ACM India Joint International Conference on Data Science &amp; Management of Data (8th ACM IKDD CODS &amp; 26th COMAD)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3430984.3431012","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3430984.3431012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:44Z","timestamp":1750195484000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3430984.3431012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,2]]},"references-count":17,"alternative-id":["10.1145\/3430984.3431012","10.1145\/3430984"],"URL":"https:\/\/doi.org\/10.1145\/3430984.3431012","relation":{},"subject":[],"published":{"date-parts":[[2021,1,2]]},"assertion":[{"value":"2021-01-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}