Stream data analysis in Prolog
The practice of Prolog
Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
The Haskell school of expression: learning functional programming through multimedia
The Haskell school of expression: learning functional programming through multimedia
Eddies: continuously adaptive query processing
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Hancock: a language for extracting signatures from data streams
Proceedings of the sixth ACM SIGKDD international conference on Knowledge discovery and data mining
On computing correlated aggregates over continual data streams
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Dataflow query execution in a parallel main-memory environment
PDIS '91 Proceedings of the first international conference on Parallel and distributed information systems
Characterizing memory requirements for queries over continuous data streams
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Continuously adaptive continuous queries over streams
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
Query processing of streamed XML data
Proceedings of the eleventh international conference on Information and knowledge management
Continuous queries over data streams
ACM SIGMOD Record
The Tangram Stream Query Processing System
Proceedings of the Fifth International Conference on Data Engineering
Surfing Wavelets on Streams: One-Pass Summaries for Approximate Aggregate Queries
Proceedings of the 27th International Conference on Very Large Data Bases
Algebraic Properties of Bag Data Types
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
ASPEN: A Stream Processing Environment
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
The XML benchmark project
Fjording the Stream: An Architecture for Queries Over Streaming Sensor Data
ICDE '02 Proceedings of the 18th International Conference on Data Engineering
Tribeca: a system for managing large databases of network traffic
ATEC '98 Proceedings of the annual conference on USENIX Annual Technical Conference
Monitoring streams: a new class of data management applications
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Characterizing memory requirements for queries over continuous data streams
ACM Transactions on Database Systems (TODS)
Dynamic plan migration for continuous queries over data streams
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Exploiting k-constraints to reduce memory overhead in continuous queries over data streams
ACM Transactions on Database Systems (TODS)
Evaluating window joins over punctuated streams
Proceedings of the thirteenth ACM international conference on Information and knowledge management
NESTREAM: querying nested streams
ACM SIGMOD Record
Flexible time management in data stream systems
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Semantics and evaluation techniques for window aggregates in data streams
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Update-pattern-aware modeling and processing of continuous queries
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
A heartbeat mechanism and its application in gigascope
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Adaptive load shedding for windowed stream joins
Proceedings of the 14th ACM international conference on Information and knowledge management
Exploiting predicate-window semantics over data streams
ACM SIGMOD Record
A live multimedia stream querying system
Proceedings of the 2nd international workshop on Computer vision meets databases
Safety guarantee of continuous join queries over punctuated data streams
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
State-slice: new paradigm of multi-query optimization of window-based stream queries
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Window-aware load shedding for aggregation queries over data streams
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Window join approximation over data streams with importance semantics
CIKM '06 Proceedings of the 15th ACM international conference on Information and knowledge management
Incremental Evaluation of Sliding-Window Queries over Data Streams
IEEE Transactions on Knowledge and Data Engineering
Travel time estimation using NiagaraST and latte
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Processing sliding window multi-joins in continuous queries over data streams
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
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
CAPE: continuous query engine with heterogeneous-grained adaptivity
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Time-decaying aggregates in out-of-order streams
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
New Data Types and Operations to Support Geo-streams
GIScience '08 Proceedings of the 5th international conference on Geographic Information Science
Out-of-order processing: a new architecture for high-performance stream systems
Proceedings of the VLDB Endowment
Anomaly-free incremental output in stream processing
Proceedings of the 17th ACM conference on Information and knowledge management
Semantics and implementation of continuous sliding window queries over data streams
ACM Transactions on Database Systems (TODS)
A First Step Towards Stream Reasoning
Future Internet --- FIS 2008
Data-driven memory management for stream join
Information Systems
Measuring evolving data streams' behavior through their intrinsic dimension
New Generation Computing
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Window Update Patterns in Stream Operators
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Research issues in data provenance for streaming environments
Proceedings of the 2nd SIGSPATIAL ACM GIS 2009 International Workshop on Security and Privacy in GIS and LBS
Supporting views in data stream management systems
ACM Transactions on Database Systems (TODS)
Location-dependent query processing: Where we are and where we are heading
ACM Computing Surveys (CSUR)
Tagging stream data for rich real-time services
Proceedings of the VLDB Endowment
On-the-fly progress detection in iterative stream queries
Proceedings of the VLDB Endowment
Toward Formal Semantics for Data and Schema Evolution in Data Stream Management Systems
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Stream schema: providing and exploiting static metadata for data stream processing
Proceedings of the 13th International Conference on Extending Database Technology
Event sequence processing: new models and optimization techniques
Proceedings of the Fourth SIGMOD PhD Workshop on Innovative Database Research
An extensible test framework for the Microsoft StreamInsight query processor
Proceedings of the Third International Workshop on Testing Database Systems
High-performance dynamic pattern matching over disordered streams
Proceedings of the VLDB Endowment
Relational languages and data models for continuous queries on sequences and data streams
ACM Transactions on Database Systems (TODS)
Changing flights in mid-air: a model for safely modifying continuous queries
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Bistro data feed management system
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Update propagation in a streaming warehouse
SSDBM'11 Proceedings of the 23rd international conference on Scientific and statistical database management
Subsuming multiple sliding windows for shared stream computation
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Semantics of data streams and operators
ICDT'05 Proceedings of the 10th international conference on Database Theory
Streams, security and scalability
DBSec'05 Proceedings of the 19th annual IFIP WG 11.3 working conference on Data and Applications Security
Querying sliding windows over online data streams
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
Window specification over data streams
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Managing parallelism for stream processing in the cloud
Proceedings of the 1st International Workshop on Hot Topics in Cloud Data Processing
C-MR: continuously executing MapReduce workflows on multi-core processors
Proceedings of third international workshop on MapReduce and its Applications Date
REX: recursive, delta-based data-centric computation
Proceedings of the VLDB Endowment
Multi-route query processing and optimization
Journal of Computer and System Sciences
Optimizing adaptive multi-route query processing via time-partitioned indices
Journal of Computer and System Sciences
Multi-query scheduling for time-critical data stream applications
Proceedings of the 25th International Conference on Scientific and Statistical Database Management
Proceedings of the 7th ACM international conference on Distributed event-based systems
A continuous workflow scheduling framework
Proceedings of the 2nd ACM SIGMOD Workshop on Scalable Workflow Execution Engines and Technologies
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
ACM SIGOPS 24th Symposium on Operating Systems Principles
Naiad: a timely dataflow system
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles
Proceedings of the 4th annual Symposium on Cloud Computing
MillWheel: fault-tolerant stream processing at internet scale
Proceedings of the VLDB Endowment
Aggregation and degradation in JetStream: streaming analytics in the wide area
NSDI'14 Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation
Hi-index | 0.00 |
As most current query processing architectures are already pipelined, it seems logical to apply them to data streams. However, two classes of query operators are impractical for processing long or infinite data streams. Unbounded stateful operators maintain state with no upper bound in size and, so, run out of memory. Blocking operators read an entire input before emitting a single output and, so, might never produce a result. We believe that a priori knowledge of a data stream can permit the use of such operators in some cases. We discuss a kind of stream semantics called punctuated streams. Punctuations in a stream mark the end of substreams allowing us to view an infinite stream as a mixture of finite streams. We introduce three kinds of invariants to specify the proper behavior of operators in the presence of punctuation. Pass invariants define when results can be passed on. Keep invariants define what must be kept in local state to continue successful operation. Propagation invariants define when punctuation can be passed on. We report on our initial implementation and show a strategy for proving implementations of these invariants are faithful to their relational counterparts.