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

Efthymia Tsamoura, Boris Motik

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…