Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Advanced database systems
Models and issues in data stream systems
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Continuously adaptive continuous queries over streams
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Gigascope: high performance network monitoring with an SQL interface
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Advances in Data Base Theory
On Active Deductive Databases: The Statelog Approach
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Issues in data stream management
ACM SIGMOD Record
A heartbeat mechanism and its application in gigascope
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Streaming queries over streaming data
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Monitoring streams: a new class of data management applications
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Query languages and data models for database sequences and data streams
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Time-Stamp Management and Query Execution in Data Stream Management Systems
IEEE Internet Computing
DBPL'07 Proceedings of the 11th international conference on Database programming languages
A rule-based language for complex event processing and reasoning
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Relational languages and data models for continuous queries on sequences and data streams
ACM Transactions on Database Systems (TODS)
SMM: A data stream management system for knowledge discovery
ICDE '11 Proceedings of the 2011 IEEE 27th International Conference on Data Engineering
Extending the power of datalog recursion
The VLDB Journal — The International Journal on Very Large Data Bases
Graph queries in a next-generation Datalog system
Proceedings of the VLDB Endowment
| Hi-index | 0.00 |
Data Stream Management Systems (DSMS) have attracted much interest from the database community, and extensions of relational database languages were proposed for expressing continuous queries on data streams. However, while relational databases were built on the solid bedrock of logic, the same cannot be said for DSMS. Thus, a logic-based reconstruction of DSMS languages and their unique computational model is long overdue. Indeed, the banning of blocking queries and the fact that stream data are ordered by their arrival timestamps represent major new aspects that have yet to be characterized by simple theories. In this paper, we show that these new requirements can be modeled using the familiar deductive database concepts of closed-world assumption and explicit local stratification. Besides its obvious theoretical interest, this approach leads to the design of a powerful version of Datalog for data streams. This language is called Streamlog and takes the query and application languages of DSMS to new levels of expressive power, by removing the unnecessary limitations that severely impair current commercial systems and research prototypes.