Completeness, Correctness and Freshness of Cloud-Managed Data Streams