MSO Queries on Tree Decomposable Structures Are Computable with Linear Delay

2006 ◽  
pp. 167-181 ◽  
Author(s):  
Guillaume Bagan
Keyword(s):  
Linear Delay ◽  
Decomposable Structures

scholarly journals On the Notion of Duality for Linear Delay Systems

1998 ◽  
Vol 31 (19) ◽  
pp. 25-30
Author(s):  
H. Mounier ◽  
J. Rudolph
Keyword(s):  
Delay Systems ◽  
Linear Delay

A Formal Framework for Complex Event Recognition

2021 ◽  
Vol 46 (4) ◽  
pp. 1-49
Author(s):  
Alejandro Grez ◽  
Cristian Riveros ◽  
Martín Ugarte ◽  
Stijn Vansummeren
Keyword(s):  
Query Languages ◽  
Event Recognition ◽  
Distributed Data ◽  
Performance Guarantees ◽  
Selection Strategies ◽  
Trade Offs ◽  
Formal Framework ◽  
Linear Delay ◽  
Complex Events ◽  
Complex Event Recognition

Complex event recognition (CER) has emerged as the unifying field for technologies that require processing and correlating distributed data sources in real time. CER finds applications in diverse domains, which has resulted in a large number of proposals for expressing and processing complex events. Existing CER languages lack a clear semantics, however, which makes them hard to understand and generalize. Moreover, there are no general techniques for evaluating CER query languages with clear performance guarantees. In this article, we embark on the task of giving a rigorous and efficient framework to CER. We propose a formal language for specifying complex events, called complex event logic (CEL), that contains the main features used in the literature and has a denotational and compositional semantics. We also formalize the so-called selection strategies, which had only been presented as by-design extensions to existing frameworks. We give insight into the language design trade-offs regarding the strict sequencing operators of CEL and selection strategies. With a well-defined semantics at hand, we discuss how to efficiently process complex events by evaluating CEL formulas with unary filters. We start by introducing a formal computational model for CER, called complex event automata (CEA), and study how to compile CEL formulas with unary filters into CEA. Furthermore, we provide efficient algorithms for evaluating CEA over event streams using constant time per event followed by output-linear delay enumeration of the results.

Sign in / Sign up

Export Citation Format

Share Document