A General Formulation of Discrete-Time Quantum Machanics: Restrictions on the Action and the Relation of Unitarity to the Existence Theorem for Initial-Value Problems