Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
概要
arXiv:2412.09125v2 Announce Type: replace Abstract: 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 a…
