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: 12211
Venue: VLDB
Year: 2020
Pagerank: 5.8488042e-05
Overall Rank: 6,533 | 55.18%
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,438	PATSQL: Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns	2021	VLDB	6.2195845e-05
7,035	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	5.7216112e-05
9,020	Data-Driven Insight Synthesis for Multi-Dimensional Data	2024	VLDB	5.3306775e-05
9,893	ReCG: Bottom-Up JSON Schema Discovery Using a Repetitive Cluster-and-Generalize Framework	2024	VLDB	5.1997534e-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
180	Schema Mapping as Query Discovery	2000	VLDB	0.00026772368
183	Applying Model Management to Classical Meta Data Problems	2003	CIDR	0.00026283359
263	Reconciling Schemas of Disparate Data Sources: A Machine-Learning Approach	2001	SIGMOD	0.0002305693
297	Generic Schema Matching with Cupid	2001	VLDB	0.00022157284
377	Data Exchange: Getting to the Core	2003	PODS	0.00019643793
416	Translating Web Data	2002	VLDB	0.00018877803
506	Schema Mappings, Data Exchange, and Metadata Management	2005	PODS	0.0001728171
1,030	Data-Driven Understanding and Refinement of Schema Mappings	2001	SIGMOD	0.00012545209
1,160	BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations	2016	VLDB	0.00011883163
1,465	Synthesizing Entity Matching Rules by Examples	2018	VLDB	0.00010689571
1,751	Sample-Driven Schema Mapping	2012	SIGMOD	9.838446e-05
2,038	Graceful Database Schema Evolution: the PRISM Workbench	2008	VLDB	9.2727673e-05
2,215	Characterizing Schema Mappings via Data Examples	2010	PODS	8.93781e-05
2,785	Nested Mappings: Schema Mapping Reloaded	2006	VLDB	8.1236628e-05
3,341	Designing and Refining Schema Mappings via Data Examples	2011	SIGMOD	7.5028917e-05
4,140	Interactive Mapping Specification with Exemplar Tuples	2017	SIGMOD	6.8765495e-05
4,768	Value Invention in Data Exchange	2013	SIGMOD	6.5171839e-05
5,274	EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples	2011	VLDB	6.2888391e-05
7,552	Trinity: An Extensible Synthesis Framework for Data Science	2019	VLDB	5.6005243e-05
8,217	Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example	2018	VLDB	5.4644927e-05

Semantically Similar Papers

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