Data-complexity of the two-variable fragment with counting quantifiers.
Ian Pratt-HartmannPublished in: Inf. Comput. (2009)
Keyphrases
- data complexity
- expressive power
- double exponential
- query answering
- query evaluation
- first order logic
- conjunctive queries
- np complete
- combined complexity
- lower complexity
- exptime complete
- ontology languages
- query complexity
- data mining
- database systems
- computational complexity
- natural language
- data exchange
- transitive closure
- machine learning