论文标题
查询重写前沿的旅程
A Journey to the Frontiers of Query Rewritability
论文作者
论文摘要
本文是在理论介导的查询答案的背景下（一阶）查询重写。我们旅程的起点是FUS/FES的猜想，说，如果理论是核心终止（FES）并承认查询重写（BDD，FUS），则它是统一的。我们表明，对于广泛的“本地” BDD理论，这种猜想是正确的。然后，我们询问BDD理论实际上是多么非本地的，我们发现现象我们认为这是违反直觉的。
This paper is about (first order) query rewritability in the context of theory-mediated query answering. The starting point of our journey is the FUS/FES conjecture, saying that if a theory is core-terminating (FES) and admits query rewriting (BDD, FUS) then it is uniformly bounded. We show that this conjecture is true for a wide class of "local" BDD theories. Then we ask how non-local can a BDD theory actually be and we discover phenomena which we think are quite counter-intuitive.
