Flera forskare har föreslagit cykliska frågeplaner för att utvärdera iterativa frågor över strömmar eller snabbt ändra inmatning. Den Declaritive Networking gemenskapen använder cykliska planer för att utvärdera Datalog program som spårar tillgänglighet och andra graf traversals på nätverk. Cykliska frågeplaner kan också utvärdera mönstermatchning och andra frågor baserat på händelsesekvenser. Ett problem med cykliska frågor över dynamiska ingångar är att veta när frågeresultatet har utvecklats till en viss punkt i indata, eftersom antalet iterationer är databeroende. Ett alternativ är en strikt iscensatt beräkning, där frågeplanen krånglar mellan indata. Genom detta alternativ införs betydande latens, och kan också -underlasta med inter-operator buffertar. Ett alternativ är att nöja sig med mjuka garantier, såsom -eventuell konsekvens. En sådan oprecision kan till exempel göra det svårt att veta när tillstånd ska rensas från statliga operatörer. Vi föreslår ett tredje alternativ där cykliska frågor körs kontinuerligt, men upptäcka framsteg - på flugan med hjälp av en Flying Fixed-Point (FFP) operatör. FFP sitter på den cykliska slingan och cirkulerar spekulativa förutsägelser om framsteg framåt, som den sedan validerar. FFP kan alltid spåra framsteg för en klass av frågor som vi kallar starkt konvergerande. En viktig fördel med FFP är att det fungerar med befintliga algebra operatörer, vilket ärver deras kapacitet, såsom fönster och hantering av out-of-order input. Dessutom, för strömsystem som uttryckligen modellerar inputevent livstider, vet vi exakt vilka värden är i frågeresultatet vid varje punkt i tiden. Ett viktigt genomförandebeslut är metoden för att spekulera. Med hjälp av högvatten märket av data händelser minimerar antalet spekulativa interpunktioner. Att undersöka operatörer på den cykliska slingan för att avgöra deras externa framsteg cirkulerar många fler spekulativa budskap, men spårar faktiska resultat framsteg närmare. Vi visar hur en hybrid tillvägagångssätt begränsar förutsägelser samtidigt komma nära framsteg-tracking förmåga att undersöka.
Chandramouli m.fl. föreslå den Flying-Fixed-Point operatören att spåra framåt framsteg för cykliskt dataflöde REF.
On-the-fly Progress Detection in Iterative Stream Queries
{'venue': 'PVLDB', 'journal': 'PVLDB', 'mag_field_of_study': ['Computer Science']}