This paper describes a new demand-driven technique that is able to identify both direct and indirect realizable data-dependencies between statements in the investigated code. Involving control-dependencies too our method thus can also be extended to perform precise forward and backward slicing of computer programs.The presented interprocedural algorithm considers realizable program paths when exploring individual definition-use chains by introducing backtrack information for traditional reaching definitions. Hence our method is able to reveal deep and accurate information about very large programs on demand that makes it effectively applicable in either regression testing, debugging and program analysis.