An Introduction to the StreamQRE Language

被引:10
作者
Alur, Rajeev [1 ]
Mamouras, Konstantinos [1 ]
机构
[1] Univ Penn, Dept Comp & Informat Sci, Philadelphia, PA 19104 USA
来源
DEPENDABLE SOFTWARE SYSTEMS ENGINEERING | 2017年 / 50卷
关键词
data stream processing; Quantitative Regular Expressions; EXPRESSIONS;
D O I
10.3233/978-1-61499-810-5-1
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Real-time decision making in emerging IoT applications typically relies on computing quantitative summaries of large data streams in an efficient and incremental manner. We give here an introduction to the StreamQRE language, which has recently been proposed for the purpose of simplifying the task of programming the desired logic in such stream processing applications. StreamQRE provides natural and high-level constructs for processing streaming data, and it offers a novel integration of linguistic constructs from two distinct programming paradigms: streaming extensions of relational query languages and quantitative extensions of regular expressions. The former allows the programmer to employ relational constructs to partition the input data by keys and to integrate data streams from different sources, while the latter can be used to exploit the logical hierarchy in the input stream for modular specifications.
引用
收藏
页码:1 / 24
页数:24
相关论文
共 23 条
[1]   Aurora: a new model and architecture for data stream management [J].
Abadi, DJ ;
Carney, D ;
Cetintemel, U ;
Cherniack, M ;
Convey, C ;
Lee, S ;
Stonebraker, M ;
Tatbul, N ;
Zdonik, S .
VLDB JOURNAL, 2003, 12 (02) :120-139
[2]  
Ali M, 2011, PROC INT CONF DATA, P1242, DOI 10.1109/ICDE.2011.5767878
[3]  
Alur R., 2016, COMPUTING COMMUNITY
[4]   Regular Programming for Quantitative Properties of Data Streams [J].
Alur, Rajeev ;
Fisman, Dana ;
Raghothaman, Mukund .
PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), 2016, 9632 :15-40
[5]   The CQL continuous query language: semantic foundations and query execution [J].
Arasu, A ;
Babu, S ;
Widom, J .
VLDB JOURNAL, 2006, 15 (02) :121-142
[6]  
Babu S, 2001, SIGMOD REC, V30, P109, DOI 10.1145/603867.603884
[7]   The synchronous languages 12 years later [J].
Benveniste, A ;
Caspi, P ;
Edwards, SA ;
Halbwachs, N ;
Le Guernic, P ;
De Simone, R .
PROCEEDINGS OF THE IEEE, 2003, 91 (01) :64-83
[8]   AMBIGUITY IN GRAPHS AND EXPRESSIONS [J].
BOOK, R ;
EVEN, S ;
GREIBACH, S ;
OTT, G .
IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (02) :149-+
[9]  
Chintapalli Sanket, 2016, 1 ANN WORKSH EM PAR
[10]   Satisfiability Modulo Theories: Introduction and Applications [J].
De Moura, Leonardo ;
Bjorner, Nikolaj .
COMMUNICATIONS OF THE ACM, 2011, 54 (09) :69-77