Data Stream Management. Processing High-Speed Data Streams, Hardback/***