1. A system for discovering windows in temporal predicates, comprising: a computer processor; a temporal predicate separator configured for separating, using the processor, a predicate that specifies a set of events into a temporal part and a non-temporal part, the set of events being used for processing to reduce computational resource demand by forming an aggregation that is incrementally maintained as events are added to and removed from the set of events; a predicate-to-window matcher configured for comparing, using the processor, the temporal part of the predicate against a predicate of a known window type and determining whether the temporal part of the predicate matches the predicate of the known window type; and a temporal predicate replacer configured for replacing, using the processor, (i) only the non-temporal part of the predicate by a filter, and (ii) the temporal part of the predicate by an instance of the known window type, responsive to the temporal part of the temporal predicate matching the predicate of the known window type, wherein the instance is parameterized with substitutions used to match the temporal part of the predicate to the predicate of the known window type, wherein said predicate-to-window matcher searches for a syntactic match between the temporal part of the predicate and a window size of the known window type, the predicate being expressed as a Boolean equation having a current time component, and wherein the predicate of the known window type is associated with one or more buckets that are pre-aggregated at a bucket-level upon event arrival.
1. A system for discovering windows in temporal predicates, comprising: a computer processor; a temporal predicate separator configured for separating, using the processor, a predicate that specifies a set of events into a temporal part and a non-temporal part, the set of events being used for processing to reduce computational resource demand by forming an aggregation that is incrementally maintained as events are added to and removed from the set of events; a predicate-to-window matcher configured for comparing, using the processor, the temporal part of the predicate against a predicate of a known window type and determining whether the temporal part of the predicate matches the predicate of the known window type; and a temporal predicate replacer configured for replacing, using the processor, (i) only the non-temporal part of the predicate by a filter, and (ii) the temporal part of the predicate by an instance of the known window type, responsive to the temporal part of the temporal predicate matching the predicate of the known window type, wherein the instance is parameterized with substitutions used to match the temporal part of the predicate to the predicate of the known window type, wherein said predicate-to-window matcher searches for a syntactic match between the temporal part of the predicate and a window size of the known window type, the predicate being expressed as a Boolean equation having a current time component, and wherein the predicate of the known window type is associated with one or more buckets that are pre-aggregated at a bucket-level upon event arrival. 3. The system of claim 1 , where said predicate-to-window matcher determines a match or mismatch responsive to an output of a satisfiability solver.