Keyphrases
- automata theoretic
- regular path queries
- query containment
- regular expressions
- conjunctive queries
- data complexity
- query answering
- monadic second order logic
- expressive power
- query rewriting
- query language
- query evaluation
- probabilistic databases
- decision procedures
- knowledge base
- description logics
- data exchange
- data sources
- modal logic
- computational properties
- database
- answering queries
- incomplete information
- keywords
- unions of conjunctive queries
- first order logic
- data management