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.7159966e-05
Overall Rank: 6,661 | 55.24%
DOI: 10.14778/3384345.3384350
PDF: Download (CC BY-NC-ND 4.0)

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,523	PATSQL: Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns	2021	VLDB	6.0935914e-05
7,141	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	5.5979985e-05
9,201	Data-Driven Insight Synthesis for Multi-Dimensional Data	2024	VLDB	5.2086045e-05
10,071	ReCG: Bottom-Up JSON Schema Discovery Using a Repetitive Cluster-and-Generalize Framework	2024	VLDB	5.0849989e-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.00026265768
191	Applying Model Management to Classical Meta Data Problems	2003	CIDR	0.00025757196
269	Reconciling Schemas of Disparate Data Sources: A Machine-Learning Approach	2001	SIGMOD	0.00022610366
296	Generic Schema Matching with Cupid	2001	VLDB	0.00021857869
392	Data Exchange: Getting to the Core	2003	PODS	0.00019215652
427	Translating Web Data	2002	VLDB	0.00018475614
517	Schema Mappings, Data Exchange, and Metadata Management	2005	PODS	0.0001694094
1,050	Data-Driven Understanding and Refinement of Schema Mappings	2001	SIGMOD	0.00012292764
1,095	BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations	2016	VLDB	0.00012048043
1,493	Synthesizing Entity Matching Rules by Examples	2018	VLDB	0.00010500948
1,776	Sample-Driven Schema Mapping	2012	SIGMOD	9.6631141e-05
2,075	Graceful Database Schema Evolution: the PRISM Workbench	2008	VLDB	9.0810058e-05
2,246	Characterizing Schema Mappings via Data Examples	2010	PODS	8.7612699e-05
2,850	Nested Mappings: Schema Mapping Reloaded	2006	VLDB	7.9384121e-05
3,397	Designing and Refining Schema Mappings via Data Examples	2011	SIGMOD	7.3332055e-05
4,217	Interactive Mapping Specification with Exemplar Tuples	2017	SIGMOD	6.725391e-05
4,884	Value Invention in Data Exchange	2013	SIGMOD	6.3680919e-05
5,403	EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples	2011	VLDB	6.1452376e-05
7,701	Trinity: An Extensible Synthesis Framework for Data Science	2019	VLDB	5.4730936e-05
8,387	Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example	2018	VLDB	5.3403083e-05

Semantically Similar Papers

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