Query Processing, Approximation, and Resource Management in a Data Stream Management System