Redis-LevelDB formula