T-SQL: SEQUENCE を使って連続したシーケンス番号を振る方法

CREATE SEQUENCE TestSequence2
    START WITH 1;

sp_sequence_get_range [ @sequence_name = ] N'<sequence>'   
     , [ @range_size = ] range_size  
     , [ @range_first_value = ] range_first_value OUTPUT   
    [, [ @range_last_value = ] range_last_value OUTPUT ]  
    [, [ @range_cycle_count = ] range_cycle_count OUTPUT ]  
    [, [ @sequence_increment = ] sequence_increment OUTPUT ]  
    [, [ @sequence_min_value = ] sequence_min_value OUTPUT ]  
    [, [ @sequence_max_value = ] sequence_max_value OUTPUT ]  
    [ ; ]  

DECLARE @size BIGINT = 6,
	@first_value SQL_VARIANT,
	@last_value SQL_VARIANT;

EXEC sys.sp_sequence_get_range 
	@sequence_name = N'dbo.TestSequence2',
	@range_size = @size,
	@range_first_value = @first_value OUTPUT,
	@range_last_value = @last_value OUTPUT;

SELECT @first_value AS FirstValue,
       @last_value AS LastValue;

CREATE SEQUENCE StudentNoSequence2
    START WITH 1
    MAXVALUE 99999999;

DECLARE @size BIGINT = 6,
	@first_value SQL_VARIANT,
	@last_value SQL_VARIANT;

EXEC sys.sp_sequence_get_range 
	@sequence_name = N'dbo.StudentNoSequence2',
	@range_size = @size,
	@range_first_value = @first_value OUTPUT,
	@range_last_value = @last_value OUTPUT;
-------------------------------------------------------------
SELECT @first_value AS FirstValue,
       @last_value AS LastValue;

DECLARE @base_seq_no BIGINT = CAST(@first_value AS BIGINT) - 1; 
-------------------------------------------------------------
UPDATE S1
SET    S1.StudentNo = S2.StudentNo
FROM   Student AS S1
         INNER JOIN
            (SELECT 'ST' + 
                    RIGHT(
                       '00000000' + 
                        CAST(
                         @base_seq_no
			 + 
			 ROW_NUMBER() OVER (ORDER BY LastName, 
						     FirstName)
                       AS NVARCHAR)
                    , 8) AS StudentNo,
                    StudentID
             FROM   Student) AS S2
         ON S1.StudentID = S2.StudentID;
-------------------------------------------------------------
SELECT * FROM Student;