Keyphrases
- data streams
- query language
- sliding window
- expressive power
- streaming data
- data model
- sensor networks
- data sets
- logic programming
- sensor data
- change detection
- concept drift
- monadic second order logic
- recursive queries
- modal logic
- data distribution
- transitive closure
- xml data
- stream data
- classical logic
- outlier detection
- conjunctive queries
- relational algebra
- continuous queries
- itemsets
- multiple data streams
- continuous data streams
- stream mining
- automated reasoning
- database
- logic programs
- object oriented
- knowledge base