We consider the problem of finding algebraic relations among sequences defined by recurrence equations and discuss its relevance for symbolic summation. We will present a complete algorithm, arisen from joint work with Burkhard Zimmermann, that computes all the algebraic relations among some given C-finite sequences. This algorithm can be used not only for discovering new identities, but also for proving the absence of certain identities.