{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:48:42Z","timestamp":1760042922067,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1762299,1712067,1811865"],"award-info":[{"award-number":["1762299,1712067,1811865"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314588","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"286-300","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["Synthesizing database programs for schema refactoring"],"prefix":"10.1145","author":[{"given":"Yuepeng","family":"Wang","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"James","family":"Dong","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"Rushi","family":"Shah","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"Isil","family":"Dillig","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66158-2_44"},{"key":"e_1_3_2_2_2_1","volume-title":"Proc. of FMCAD. 1\u20138.","author":"Alur Rajeev","year":"2013","unstructured":"Rajeev Alur , Rastislav Bod\u00edk , Garvit Juniwal , Milo M. K. Martin , Mukund Raghothaman , Sanjit A. Seshia , Rishabh Singh , Armando Solar-Lezama , Emina Torlak , and Abhishek Udupa . 2013 . Syntaxguided synthesis . In Proc. of FMCAD. 1\u20138. Rajeev Alur, Rastislav Bod\u00edk, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013. Syntaxguided synthesis. In Proc. of FMCAD. 1\u20138."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2007.91"},{"key":"e_1_3_2_2_4_1","unstructured":"Scott W Ambler and Pramod J Sadalage. 2006. Refactoring databases: Evolutionary database design. Pearson Education.   Scott W Ambler and Pramod J Sadalage. 2006. Refactoring databases: Evolutionary database design. Pearson Education."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.31"},{"key":"e_1_3_2_2_6_1","volume-title":"Proc. of ICLR.","author":"Balog Matej","year":"2017","unstructured":"Matej Balog , Alexander L. Gaunt , Marc Brockschmidt , Sebastian Nowozin , and Daniel Tarlow . 2017 . DeepCoder: Learning to Write Programs . In Proc. of ICLR. Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2017. DeepCoder: Learning to Write Programs. In Proc. of ICLR."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062353"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2903726"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348954"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462180"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.14778\/3236187.3236200"},{"key":"e_1_3_2_2_12_1","volume-title":"Proc. of CIDR.","author":"Chu Shumo","year":"2017","unstructured":"Shumo Chu , Chenglong Wang , Konstantin Weitz , and Alvin Cheung . 2017 . Cosette: An Automated Prover for SQL . In Proc. of CIDR. Shumo Chu, Chenglong Wang, Konstantin Weitz, and Alvin Cheung. 2017. Cosette: An Automated Prover for SQL. In Proc. of CIDR."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062348"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.14778\/1921071.1921078"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-012-0302-x"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677006"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694428.2694430"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066219"},{"key":"e_1_3_2_2_19_1","volume-title":"Proc. of VLDB. 201\u2013212","author":"Deutsch Alin","year":"2003","unstructured":"Alin Deutsch and Val Tannen . 2003 . MARS: A System for Publishing XML from Mixed and Redundant Storage . In Proc. of VLDB. 201\u2013212 . Alin Deutsch and Val Tannen. 2003. MARS: A System for Publishing XML from Mixed and Redundant Storage. In Proc. of VLDB. 201\u2013212."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273484"},{"key":"e_1_3_2_2_21_1","unstructured":"St\u00e9phane Faroult and Pascal L\u2019Hermite. 2008. Refactoring SQL Applications. O\u2019Reilly Media.  St\u00e9phane Faroult and Pascal L\u2019Hermite. 2008. Refactoring SQL Applications. O\u2019Reilly Media."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192382"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062351"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_40"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_15"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993504"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254114"},{"volume-title":"The Steiner tree problem","author":"Hwang Frank K","key":"e_1_3_2_2_29_1","unstructured":"Frank K Hwang , Dana S Richards , and Pawel Winter . 1992. The Steiner tree problem . Vol. 53 . Elsevier . Frank K Hwang, Dana S Richards, and Pawel Winter. 1992. The Steiner tree problem. Vol. 53. Elsevier."},{"key":"e_1_3_2_2_30_1","first-page":"1","article-title":"On the Automated Verification of Web Applications with Embedded SQL","volume":"16","author":"Itzhaky Shachar","year":"2017","unstructured":"Shachar Itzhaky , Tomer Kotek , Noam Rinetzky , Mooly Sagiv , Orr Tamir , Helmut Veith , and Florian Zuleger . 2017 . On the Automated Verification of Web Applications with Embedded SQL . In Proc. of ICDT. 16 : 1 \u2013 16 :18. Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, and Florian Zuleger. 2017. On the Automated Verification of Web Applications with Embedded SQL. In Proc. of ICDT. 16:1\u201316:18.","journal-title":"Proc. of ICDT."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190075"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192410"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2594519"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.14778\/3157794.3157798"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908122"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786811"},{"volume-title":"Proc. of VLDB. 77\u201388","author":"Miller Ren\u00e9e J.","key":"e_1_3_2_2_37_1","unstructured":"Ren\u00e9e J. Miller , Laura M. Haas , and Mauricio A. Hern\u00e1ndez . 2000. Schema Mapping as Query Discovery . In Proc. of VLDB. 77\u201388 . Ren\u00e9e J. Miller, Laura M. Haas, and Mauricio A. Hern\u00e1ndez. 2000. Schema Mapping as Query Discovery. In Proc. of VLDB. 77\u201388."},{"key":"e_1_3_2_2_38_1","unstructured":"MySQL Tutorial. 2018. Delete from Join. http:\/\/www.mysqltutorial. org\/mysql-delete-join .  MySQL Tutorial. 2018. Delete from Join. http:\/\/www.mysqltutorial. org\/mysql-delete-join ."},{"key":"e_1_3_2_2_39_1","unstructured":"MySQL Tutorial. 2018. Update from Join. http:\/\/www.mysqltutorial. org\/mysql-update-join .  MySQL Tutorial. 2018. Update from Join. http:\/\/www.mysqltutorial. org\/mysql-update-join ."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393667"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814310"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/342009.335421"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491431"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451150"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236034"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"crossref","unstructured":"Armando Solar-Lezama. 2008. Program synthesis by sketching. Citeseer.  Armando Solar-Lezama. 2008. Program synthesis by sketching. Citeseer.","DOI":"10.1145\/1250734.1250754"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10672-9_3"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.090"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062365"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276527"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158151"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158144"},{"key":"e_1_3_2_2_55_1","unstructured":"Yuepeng Wang James Dong Rushi Shah and Isil Dillig. 2019. Synthesizing Database Programs for Schema Refactoring. http:\/\/arxiv.org\/ abs\/1904.05498 . arXiv: 1904.05498  Yuepeng Wang James Dong Rushi Shah and Isil Dillig. 2019. Synthesizing Database Programs for Schema Refactoring. http:\/\/arxiv.org\/ abs\/1904.05498 . arXiv: 1904.05498"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276525"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1276933.1276935"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390661"},{"key":"e_1_3_2_2_59_1","unstructured":"Wikimedia. 2018. Schema changes. https:\/\/wikitech.wikimedia.org\/ wiki\/Schema_changes .  Wikimedia. 2018. Schema changes. https:\/\/wikitech.wikimedia.org\/ wiki\/Schema_changes ."},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133887"}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Phoenix AZ USA","acronym":"PLDI '19"},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314588","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314588","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314588"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":60,"alternative-id":["10.1145\/3314221.3314588","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314588","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}