References & Citations
Computer Science > Databases
Title: Rewriting with Acyclic Queries: Mind Your Head
(Submitted on 13 Jan 2022 (v1), last revised 28 Nov 2023 (this version, v6))
Abstract: The paper studies the rewriting problem, that is, the decision problem whether, for a given conjunctive query $Q$ and a set $\mathcal{V}$ of views, there is a conjunctive query $Q'$ over $\mathcal{V}$ that is equivalent to $Q$, for cases where the query, the views, and/or the desired rewriting are acyclic or even more restricted. It shows that, if $Q$ itself is acyclic, an acyclic rewriting exists if there is any rewriting. An analogous statement also holds for free-connex acyclic, hierarchical, and q-hierarchical queries. Regarding the complexity of the rewriting problem, the paper identifies a border between tractable and (presumably) intractable variants of the rewriting problem: for schemas of bounded arity, the acyclic rewriting problem is NP-hard, even if both $Q$ and the views in $\mathcal{V}$ are acyclic or hierarchical. However, it becomes tractable if the views are free-connex acyclic (i.e., in a nutshell, their body is (i) acyclic and (ii) remains acyclic if their head is added as an additional atom).
Submission history
From: "Christopher Spinrath" < [view email][v1] Thu, 13 Jan 2022 18:40:02 GMT (54kb,D)
[v2] Fri, 14 Jan 2022 15:20:39 GMT (54kb,D)
[v3] Fri, 14 Oct 2022 12:19:06 GMT (58kb,D)
[v4] Fri, 5 May 2023 15:31:09 GMT (61kb,D)
[v5] Tue, 22 Aug 2023 10:54:33 GMT (61kb,D)
[v6] Tue, 28 Nov 2023 13:16:44 GMT (62kb,D)
Link back to: arXiv, form interface, contact.