Executing temporal logic programs
Executing temporal logic programs
Temporal aggregation in active database rules
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Point-Versus Interval-Based Temporal Data Models
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
Composite Event Specification in Active Databases: Model & Implementation
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Composite Events for Active Databases: Semantics, Contexts and Detection
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Two Approaches to Event Definition
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Event Composition in Time-Dependent Distributed Systems
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
Actions and Events in Interval Temporal Logic
Actions and Events in Interval Temporal Logic
High-performance complex event processing over streams
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
A framework for event composition in distributed systems
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Towards expressive publish/subscribe systems
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Cayuga: a high-performance event processing engine
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Temporal constraints for rule-based event processing
Proceedings of the ACM first Ph.D. workshop in CIKM
Efficient pattern matching over event streams
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Event queries on correlated probabilistic streams
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Relative temporal constraints in the Rete algorithm for complex event detection
Proceedings of the second international conference on Distributed event-based systems
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
A dynamic OSGi-based data stream system
Proceedings of the 5th Middleware doctoral symposium
Cesar-FD: An Effective Stateful Fault Detection Mechanism in Drug Discovery Grid
CCGRID '09 Proceedings of the 2009 9th IEEE/ACM International Symposium on Cluster Computing and the Grid
The VLDB Journal — The International Journal on Very Large Data Bases
Distributed event stream processing with non-deterministic finite automata
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Distributed complex event processing with query rewriting
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
TESLA: a formally defined event specification language
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Recognizing patterns in streams with imprecise timestamps
Proceedings of the VLDB Endowment
On the complexity of privacy-preserving complex event processing
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On applying temporal database concepts to event queries
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Processing flows of information: From data stream to complex event processing
ACM Computing Surveys (CSUR)
EVIS: a fast and scalable episode matching engine for massively parallel data streams
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part II
Proceedings of the 13th International Middleware Conference
Recognizing patterns in streams with imprecise timestamps
Information Systems
Hi-index | 0.00 |
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literature. The prevalent use of these systems is on-line recognition of patterns that are sequences of correlated events in event streams. Query semantics and implementation efficiency are inherently determined by the underlying temporal model: how events are sequenced (what is the "next" event), and how the time stamp of an event is represented. Many competing temporal models for event systems have been proposed, with no consensus on which approach is best. We take a foundational approach to this problem. We create a formal framework and present event system design choices as axioms. The axioms are grouped into standard axioms and desirable axioms. Standard axioms are common to the design of all event systems. Desirable axioms are not always satisfied, but are useful for achieving high performance. Given these axioms, we prove several important results. First, we show that there is a unique model up to isomorphism that satisfies the standard axioms and supports associativity, so our axioms are a sound and complete axiomatization of associative time stamps in eventsystems. This model requires time stamps with unbounded representations. We present a slightly weakened version of associativity that permits a temporal model with bounded representations. We show that adding the boundedness condition also results in a unique model, so again our axiomatization is sound and complete. We believe this model is ideally suited to be the standard temporal model for complex event processing.