A Denotational Semantics For Continuous Queries Over Streams And Relations

Continuous queries over data streams are an important new class of queries motivated by a number of applications [BBD⁺02, Geh03, GO03], and several languages for continuous queries have been proposed recently [ABW03, CC⁺02, CC⁺03, WZL03]. To date the semantics of these languages have been specified fairly informally, sometimes solely through illustrative examples.