Carlo Zaniolo. The logic of query languages for data streams. In George H. L. Fletcher, Slawek Staworko, editors, Proceedings of the 4th International Workshop on Logic in Databases, Uppsala, Sweden, (EDBT/ICDT '10 joint conference), March 25, 2011, Proceedings. pages 31, ACM, 2011. [doi]
Abstract is missing.