We consider the inverse dynamic problem for a dynamical system with discrete time associated with a semi-infinite Jacobi matrix. We derive discrete analogs of Krein equations and answer a question on the characterization of dynamic inverse data. As a consequence we obtain a necessary and sufficient condition for a measure on a real line to be a spectral measure of a semi-infinite discrete Schrödinger operator.