Termination of algorithm for computing relative Gr?bner bases and difference differential dimension polynomials