High frequency transaction prices exhibit two major characteristics: they are discrete in level and only exist at random transaction dates. In this paper, we seek to model transaction price dynamics, taking into account these two features. We specify the transaction price process as a Markov...