Data Migration using Datalog Program Synthesis

Summary: Data migration via Datalog program synthesis: schema mappings encoded as Datalog and synthesized from input-output examples. Cross-type migrations (relational, graph, document); fast synthesis via Datalog semantics; Dynamite, validated on 28 scenarios. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: hc9a8829f4394eab3
Venue: VLDB
Year: 2020
Pagerank: 5.7187028e-05
Overall Rank: 6,657 | 55.25%
DOI: 10.14778/3384345.3384350

Incoming Non-self Citations Over Time

Authors

1. Yuepeng Wang (University of Texas)
2. Rushi Shah (University of Texas)
3. Abby Criswell (University of Texas)
4. Rong Pan (University of Texas)
5. Isil Dillig (University of Texas)

BibTeX Citation

@article{wang_vldb20,
        title = {{Data Migration using Datalog Program Synthesis}},
        author = {Wang, Yuepeng and Shah, Rushi and Criswell, Abby and Pan, Rong and Dillig, Isil},
        journal = {PVLDB},
        series = {{VLDB} '20},
        volume = {13},
        number = {7},
        pages = {1006--1019},
        doi = {10.14778/3384345.3384350},
        url = {https://doi.org/10.14778/3384345.3384350},
        year = {2020}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
5,520	PATSQL: Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns	2021	VLDB	6.0964774e-05
7,139	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	5.6006128e-05
9,192	Data-Driven Insight Synthesis for Multi-Dimensional Data	2024	VLDB	5.2110714e-05
10,066	ReCG: Bottom-Up JSON Schema Discovery Using a Repetitive Cluster-and-Generalize Framework	2024	VLDB	5.0874072e-05

Outgoing Citations (Sorted by Pagerank)

Showing 20 of 20 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
182	Schema Mapping as Query Discovery	2000	VLDB	0.00026277842
190	Applying Model Management to Classical Meta Data Problems	2003	CIDR	0.00025768763
269	Reconciling Schemas of Disparate Data Sources: A Machine-Learning Approach	2001	SIGMOD	0.00022620777
296	Generic Schema Matching with Cupid	2001	VLDB	0.00021867512
392	Data Exchange: Getting to the Core	2003	PODS	0.0001922472
426	Translating Web Data	2002	VLDB	0.00018483901
517	Schema Mappings, Data Exchange, and Metadata Management	2005	PODS	0.00016948466
1,050	Data-Driven Understanding and Refinement of Schema Mappings	2001	SIGMOD	0.00012298141
1,094	BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations	2016	VLDB	0.0001205355
1,493	Synthesizing Entity Matching Rules by Examples	2018	VLDB	0.00010505174
1,776	Sample-Driven Schema Mapping	2012	SIGMOD	9.6674087e-05
2,073	Graceful Database Schema Evolution: the PRISM Workbench	2008	VLDB	9.0852947e-05
2,244	Characterizing Schema Mappings via Data Examples	2010	PODS	8.7653687e-05
2,849	Nested Mappings: Schema Mapping Reloaded	2006	VLDB	7.942171e-05
3,397	Designing and Refining Schema Mappings via Data Examples	2011	SIGMOD	7.3366398e-05
4,215	Interactive Mapping Specification with Exemplar Tuples	2017	SIGMOD	6.7285738e-05
4,882	Value Invention in Data Exchange	2013	SIGMOD	6.3711076e-05
5,398	EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples	2011	VLDB	6.1481166e-05
7,695	Trinity: An Extensible Synthesis Framework for Data Science	2019	VLDB	5.4756857e-05
8,381	Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example	2018	VLDB	5.3428083e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,359	Schema Mappings for Data Graphs	2017	PODS
2	12,176	Datalignment: Ontology Schema Alignment Through Datalog Containment	2019	VLDB
3	328	Declarative Information Extraction Using Datalog with Embedded Extraction Predicates	2007	VLDB
4	845	Debugging Schema Mappings with Routes	2006	VLDB
5	5,867	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB
6	13,233	Bulk Loading Techniques for Object Databases and an Application to Relational Data	1998	VLDB
7	12,381	Synthesizing Data Programs	2015	CIDR
8	8,381	Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example	2018	VLDB
9	14,198	Efficient development of data migration transformations	2004	SIGMOD
10	1,050	Data-Driven Understanding and Refinement of Schema Mappings	2001	SIGMOD