Text this: Efficient algorithms for big data management /