Methods For Linear And Nonlinear Array Data Dependence Analysis With The Chains Of Recurrences Algebra