The domination polynomial D(G, x) of a graph G is the generating function of its dominating sets. We prove that D(G, x) satisfies a wide range of reduction formulas. We show linear recurrence relations for D(G, x) for arbitrary graphs and for various special cases. We give splitting formulas for D(G, x) based on articulation vertices, and more generally, on splitting sets of vertices.where G i are obtained from G using various vertex and edge elimination operations and the g i (x)'s are given rational functions. For example, it is well-known that the independence polynomial satisfies a linear recurrence relation with respect to two vertex elimination operations, the deletion of a vertex and the deletion of vertex's closed neighborhood. Other prominent graph polynomials in the literature satisfy similar recurrence relations with respect to vertex and edge elimination operations, among them the matching polynomial, the chromatic polynomial and the vertex-cover polynomial, see e.g. [11].In contrast, it is significantly harder to find recurrence relations for the domination polynomial. We show in Theorem 2.4 that D(G, x) does not satisfy any linear recurrence relation which applies only the commonly used vertex operations of deletion, extraction, contraction and neighborhood-contraction. Nor does D(G, x) satisfy any linear recurrence relation using only edge deletion, contraction and extraction.In spite of this non-existence result, we give in this paper an abundance of recurrence relations and splitting formulas for the domination polynomial.The domination polynomial was studied recently by several authors, see [1,2,3,5,6,7,8,9,10,12]. The previous research focused mainly on the roots of domination polynomials and on the domination polynomials of various classes of special graphs. In [12] it is shown that computing the domination polynomial D(G, x) of a graph G is NPhard and some examples for graphs for which D(G, x) can be computed efficiently are given. Some of our results, e.g. Theorem 5.14, lead to efficient schemes to compute the domination polynomial.An outline of the paper is as follows. In Section 2 we give a recurrence relation for arbitrary graphs. In Section 3 we give simple recurrence steps in special cases, which allow us e.g. to dispose of triangles, induced 5-paths and irrelevant edges. In Section 4 we consider graphs of connectivity 1, and give several splitting formulas for them. In Section 5 we generalize the results of the previous section to arbitrary separating vertex sets. In Section 6 we show a recurrence relation for arbitrary graphs which uses derivatives of domination polynomials.