论文标题
数据迁移使用DataLog程序综合
Data Migration using Datalog Program Synthesis
论文作者
论文摘要
本文提出了一种新技术，用于在不同的模式之间迁移数据。我们的方法将架构映射表示为Datalog程序，并自动从简单输入输出示例中综合数据元程序以执行数据迁移。这种方法可以在不同类型的模式之间转换数据（例如，关系到图形，文档之间的关系），并通过利用DataLog的语义来有效地执行综合。我们将提出的技术作为一种称为炸药的工具实施，并通过评估28个现实数据迁移方案的炸药来显示其有效性。
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.
