Keyphrases
- query evaluation
- quantified boolean formulas
- conjunctive queries
- query processing
- query language
- deductive databases
- data complexity
- data management
- transitive closure
- quantified boolean formulae
- probabilistic databases
- xml data
- querying xml documents
- disjunctive deductive databases
- regular expressions
- propositional logic
- inverted lists
- efficient query evaluation
- decision procedures
- data sets
- xml streams
- probabilistic xml
- query engine
- query answers
- symmetry breaking
- query processing strategies
- data structure