After successful completion of a START statement with the NOT INVALID KEY phrase, control transfers to the imperative statement associated with the phrase.