redis-algebra.zip,redis代数