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