SASE + : An Agile Language for Kleene Closure over Event Streams

In this paper, we present SASE+, a complex event language that supports Kleene closure over event streams, and provide a formal analysis of the expressibility of this language. Complex event patterns involving Kleene closure are finding application in a growing number of stream applications including financial services, RFIDbased inventory management, monitoring in healthcare, etc. While Kleene closure has been well studied for regular expression matching, Kleene closure patterns over streams have unique features regarding the event definition, event selection, and termination criteria, which fundamentally distinguish them from patterns studied in conventional problems. This paper addresses Kleene closure in this new context. In particular, we propose a compact language that can be used to define a wide variety of Kleene closure patterns, develop a formal model that precisely describes the semantics and expressive power of the language, and characterize its relationships to standard languages in the literature as well as recent proposals for stream-based event languages.

[1]  Johan Anthory Willem Kamp,et al.  Tense logic and the theory of linear order , 1968 .

[2]  R. McNaughton,et al.  Counter-Free Automata , 1971 .

[3]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[4]  Dexter Kozen,et al.  RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .

[5]  I. Wegener.  Branching Programs and Binary Deci-sion Diagrams-Theory and Applications , 1987 .

[6]  Umeshwar Dayal,et al.  The HiPAC project: combining active databases and timing constraints , 1988, SGMD.

[7]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[8]  Narain H. Gehani,et al.  Composite Event Specification in Active Databases: Model & Implementation , 1992, VLDB.

[9]  Sharma Chakravarthy,et al.  Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.

[10]  Miron Livny,et al.  The Design and Implementation of a Sequence Database System , 1996, VLDB.

[11]  Giuseppe Psaila,et al.  Composite Events in Chimera , 1996, EDBT.

[12]  Narain H. Gehani,et al.  The Ode active database: trigger semantics and implementation , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[13]  Marcos K. Aguilera,et al.  Matching events in a content-based subscription system , 1999, PODC '99.

[14]  Heribert Vollmer,et al.  Introduction to Circuit Complexity , 1999, Texts in Theoretical Computer Science An EATCS Series.

[15]  Neil Immerman,et al.  Descriptive Complexity , 1999, Graduate Texts in Computer Science.

[16]  Rainer Unland,et al.  On the semantics of complex events in active database management systems , 1999, Proceedings 15th International Conference on Data Engineering (Cat. No.99CB36337).

[17]  Dennis Shasha,et al.  Filtering algorithms and implementation for very fast publish/subscribe systems , 2001, SIGMOD '01.

[18]  R. Motwani,et al.  Query Processing, Approximation, and Resource Management in a Data Stream Management System , 2003, CIDR.

[19]  Jennifer Widom,et al.  CQL: A Language for Continuous Queries over Streams and Relations , 2003, DBPL.

[20]  Ying Xing,et al.  Scalable Distributed Stream Processing , 2003, CIDR.

[21]  Annika Hinze.  Efficient Filtering of Composite Events , 2003, BNCOD.

[22]  Frederick Reiss,et al.  TelegraphCQ: Continuous Dataflow Processing for an Uncertain World , 2003, CIDR.

[23]  C. Zaniolo,et al.  Expressing and optimizing sequence queries in database systems , 2004, TODS.

[24]  Fusheng Wang,et al.  Temporal Management of RFID Data , 2005, VLDB.

[25]  Christoph Koch,et al.  On the complexity of nonrecursive XQuery and functional query languages on complex values , 2006, TODS.

[26]  Lilian Harada,et al.  Order checking in a CPOE using event analyzer , 2005, CIKM '05.

[27]  Johannes Gehrke,et al.  Towards Expressive Publish/Subscribe Systems , 2006, EDBT.

[28]  Yanlei Diao,et al.  High-performance complex event processing over streams , 2006, SIGMOD Conference.

[29]  Scott Boag,et al.  XQuery 1.0 : An XML Query Language , 2007 .