Implementation for Redis