Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality

ArXi:2412.09125v2 Announce Type: replace In this paper we present the first goal-driven query answering technique for first- and second-order dependencies with equality. Our technique transforms the input dependencies so that applying the chase to the output avoids many inferences that are irrelevant to the query. The transformation proceeds in several steps, which comprise the following three novel techniques. First, we present a variant of the singularisation technique by Marnette that can handle function variables and that corrects an incompleteness of a related formulation by ten Cate.