Flera frågespråk har föreslagits för hantering av dataströmmar i moderna övervakningsapplikationer. Kontinuerliga frågor som uttrycks på dessa språk använder vanligtvis fönsterkonstruktioner för att extrahera ändliga delar av den potentiellt obundna strömmen. Explicit eller inte, fönsterspecifikationer förlitar sig på beställning. Vanligtvis är tidsstämplar kopplade till alla tupler som flödar in i systemet som ett sätt att ge ordnad åtkomst till dataobjekt. Flera fönstertyper har implementerats i strömprototyper, men det saknas fortfarande en exakt definition av deras semantik. I detta dokument beskriver vi en formell ram för att uttrycka fönster i kontinuerliga frågor över dataströmmar. Efter att ha klassificerat fönster efter deras grundläggande egenskaper, ger vi algebraiska uttryck för de mest betydande fönstertyper som ofta förekommer i applikationer. Som ett viktigt steg mot en ström algebra föreslår vi sedan formella definitioner för de fönsteranaloger av typiska relationsoperatörer, som t.ex. anslutning, förening eller aggregering, och vi identifierar flera egenskaper som är användbara för att ifrågasätta optimering.
Patroumpas och Sellis har också föreslagit ett formellt ramverk för att uttrycka fönster för en CQL-liknande modell REF.