Non-Linear Data Stream Compression: Foundations and Theoretical Results