Keyphrases
- xml streams
- finite state automata
- query evaluation
- semantic query optimization
- query language
- xml fragments
- keyword queries
- xpath queries
- query processing
- databases
- database
- xml data
- continuous queries
- stream processing
- finite state machines
- query optimization
- data management
- xml documents
- model checking
- textual documents
- efficient execution
- database systems