Python Redis Get String Length Sql Function And Procedure