English

Data Migration using Datalog Program Synthesis

Databases 2020-03-04 v1 Programming Languages

Abstract

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-to-graph, 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.

Cite

@article{arxiv.2003.01331,
  title  = {Data Migration using Datalog Program Synthesis},
  author = {Yuepeng Wang and Rushi Shah and Abby Criswell and Rong Pan and Isil Dillig},
  journal= {arXiv preprint arXiv:2003.01331},
  year   = {2020}
}
R2 v1 2026-06-23T14:01:33.848Z