High-availability algorithms for distributed stream processing
The CQL continuous query language: semantic foundations and query execution