数据交换中基于推断的语义

数据交换是一个古老的问题，仅从理论视角被首次研究于2003年。自那时起，在描述源模式与目标模式之间关系的语言方面，人们考虑了多种方法。这些方法聚焦于是什么使得一个目标实例成为数据交换的一个“好”解。在本文中，我们提出基于推断的语义，其解决了当前数据交换语义中存在的许多确定答案异常。为此，我们引入了基于带标注的双向依赖（abd）的源模式与目标模式之间的新映射语言，并进而定义了该新语言的语义。研究表明，对于任意源到目标的映射，ABD语义均能恰当地表示基于推断的语义。我们在新语义下发现了关于解存在性、解检查与UCQ评估问题的三个二分结果。这些结果依赖于描述映射中所用标注的两个因素（密度与基数）。最后，我们还研究了ABD语义下的确定答案评估问题，并发现了许多可处理类，适用于非UCQ查询，甚至适用于带否定的CQ的一个子类。