  Starting from Ritt's classical theorems, we give a survey of results in
functional decomposition of polynomials and of applications in Diophantine
equations. This includes sufficient conditions for the indecomposability of
polynomials, the study of decompositions of lacunary polynomials and the
finiteness criterion for the equations of type f(x) = g(y).
