Red Spider Meets a Rainworm: Conjunctive Query Finite Determinacy Is Undecidable

Original · EN

We solve a well known and long-standing open problem in database theory, proving that Conjunctive Query Finite Determinacy Problem is undecidable. The technique we use builds on the top of our Red Spider method which we developed in our paper [GM15] to show undecidability of the same problem in the "unrestricted case" -- when database instances are allowed to be infinite. We also show a specific instance Q₀, Q= {Q₁, Q₂, Qₖ} such that the set Q of CQs does not determine CQ Q₀ but finitely determines it. Finally, we claim that while Q₀ is finitely determined by Q, there is no FO-rewriting of Q₀, with respect to Q, and we outline a proof of this claim