{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T18:28:46Z","timestamp":1777055326676,"version":"3.51.4"},"reference-count":51,"publisher":"Association for Computing Machinery (ACM)","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2020,3]]},"abstract":"<jats:p>This paper presents a new technique for migrating data between different schemas. Our method expresses the schema mapping as a Datalog program and automatically synthesizes a Datalog program from simple input-output examples to perform data migration. This approach can transform data between different types of schemas (e.g., relational-tograph, document-to-relational) and performs synthesis efficiently by leveraging the semantics of Datalog. We implement the proposed technique as a tool called Dynamite and show its effectiveness by evaluating Dynamite on 28 realistic data migration scenarios.<\/jats:p>","DOI":"10.14778\/3384345.3384350","type":"journal-article","created":{"date-parts":[[2020,3,26]],"date-time":"2020-03-26T14:21:06Z","timestamp":1585232466000},"page":"1006-1019","source":"Crossref","is-referenced-by-count":25,"title":["Data migration using datalog program synthesis"],"prefix":"10.14778","volume":"13","author":[{"given":"Yuepeng","family":"Wang","sequence":"first","affiliation":[{"name":"University of Texas at Austin"}]},{"given":"Rushi","family":"Shah","sequence":"additional","affiliation":[{"name":"University of Texas at Austin"}]},{"given":"Abby","family":"Criswell","sequence":"additional","affiliation":[{"name":"University of Texas at Austin"}]},{"given":"Rong","family":"Pan","sequence":"additional","affiliation":[{"name":"University of Texas at Austin"}]},{"given":"Isil","family":"Dillig","sequence":"additional","affiliation":[{"name":"University of Texas at Austin"}]}],"member":"320","published-online":{"date-parts":[[2020,3,26]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"https:\/\/www.kaggle.com","year":"2019"},{"key":"e_1_2_1_2_1","volume-title":"https:\/\/www.mongodb.com","author":"DB.","year":"2019"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66158-2_44"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807085.1807120"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1989323.1989338"},{"issue":"12","key":"e_1_2_1_6_1","first-page":"1414","article-title":"Interactive design and refinement of schema mappings via data examples","volume":"4","author":"Alexe B.","year":"2011","journal-title":"PVLDB"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2007.367866"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463676.2465311"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-008-0105-2"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of CIDR","author":"Bernstein P. A.","year":"2003"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3064028"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3044712"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-012-0302-x"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.14778\/1453856.1453939"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/375663.375731"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/792"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02463-4_12"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.10.033"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1061318.1061323"},{"key":"e_1_2_1_22_1","first-page":"420","volume-title":"Proceedings of PLDI","author":"Feng Y.","year":"2018"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062351"},{"key":"e_1_2_1_24_1","first-page":"67","volume-title":"Proceedings of VLDB","author":"Fuxman A.","year":"2006"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1667053.1667055"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2736282"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993536"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_23"},{"key":"e_1_2_1_29_1","first-page":"61","volume-title":"Proceedings of PODS","author":"Kolaitis P. G.","year":"2005"},{"key":"e_1_2_1_30_1","first-page":"525","volume-title":"Proceedings of ECAI","author":"Lin D.","year":"2014"},{"key":"e_1_2_1_31_1","first-page":"49","volume-title":"Proceedings of VLDB","author":"Madhavan J.","year":"2001"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.14778\/3352063.3352098"},{"key":"e_1_2_1_33_1","first-page":"77","volume-title":"Proceedings of VLDB","author":"Miller R. J.","year":"2000"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-013-5358-3"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-014-5471-y"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2011172.2011174"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1287369.1287421"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213846"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s007780100057"},{"key":"e_1_2_1_40_1","first-page":"3788","volume-title":"Proceedings of NIPS","author":"Rockt\u00e4schel T.","year":"2017"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/847"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236034"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.14778\/2977797.2977807"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.14778\/3149193.3149199"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062365"},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314588"},{"key":"e_1_2_1_47_1","unstructured":"Y. Wang R. Shah A. Criswell R. Pan and I. Dillig. Data migration using datalog program synthesis. http:\/\/arxiv.org\/abs\/2003.01331 2020.  Y. Wang R. Shah A. Criswell R. Pan and I. Dillig. Data migration using datalog program synthesis. http:\/\/arxiv.org\/abs\/2003.01331 2020."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908088"},{"issue":"5","key":"e_1_2_1_49_1","first-page":"580","article-title":"Automated migration of hierarchical data to relational tables using programming-by-example","volume":"11","author":"Yaghmazadeh N.","year":"2018","journal-title":"PVLDB"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/375663.375729"},{"key":"e_1_2_1_51_1","first-page":"2319","volume-title":"Proceedings of NIPS","author":"Yang F.","year":"2017"}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3384345.3384350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T09:52:41Z","timestamp":1672221161000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3384345.3384350"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":51,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2020,3]]}},"alternative-id":["10.14778\/3384345.3384350"],"URL":"https:\/\/doi.org\/10.14778\/3384345.3384350","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2020,3]]}}}