Keyphrases
- xml documents
- description logics
- xml data
- transitive closure
- xpath queries
- query evaluation
- automata theoretic
- query language
- query answering
- xml streams
- first order logic
- query containment
- decision procedures
- temporal logic
- xml processing
- data model and query language
- type checking
- data mining
- data management
- database
- querying xml data
- xml fragments
- finite state automata
- xml trees
- xml queries
- data exchange
- query processing
- relational databases