  We propose an algebraic geometric approach for studying rational solutions of
first-order algebraic ordinary difference equations. For an autonomous
first-order algebraic ordinary difference equations, we give an upper bound for
the degrees of its rational solutions, and thus derive a complete algorithm for
computing corresponding rational solutions.
