数据交换中模式映射的包含性（初步报告）

在数据交换中，数据根据适当的源到目标约束从源模式实例化到目标模式。目标模式上也表达了约束以表示感兴趣的领域。模式映射是源到目标约束与目标约束的并集。本文探讨了数据交换中模式映射的包含性问题，该问题最近在此框架中被提出，作为优化数据交换设置的一步。我们引用了一种自然的包含性概念，该概念依赖于在存在所谓 LAV TGDs 作为目标约束的情况下，模式映射针对合取查询回答的行为。我们的贡献是一种基于特殊“虚拟”实例之间同态存在性的包含性测试实用技术，这些实例可以很容易地从模式映射构建。我们认为，在大多数实际情况下，模式映射的包含性是可判定的，并为该主题的进一步研究奠定了基础。本文扩展了我们的初步结果。